Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
López, Sandra M.
MetadataShow full item record
Six interesting variants of the logics BN4 and E4—which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively—were previously developed in the literature. All these systems are related to the family of relevant logics and contain Routley and Meyer's basic logic B, which is well-known to be specifically associated with the ternary relational semantics. The aim of this paper is to develop reduced general Routley-Meyer semantics for them. Strong soundness and completeness theorems are proved for each one of the logics.
Except where otherwise noted, this item's license is described as https://creativecommons.org/licenses/by-nc-nd/4.0
Showing items related by title, author, creator and subject.
Jarmużek, Tomasz; Malinowski, Jacek (Wydawnictwo Uniwersytetu Łódzkiego, 2019-10-30)In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. ...
Tomova, Natalya (Wydawnictwo Uniwersytetu Łódzkiego, 2020-11-13)In this paper, we consider the class of four-valued literal-paraconsistent-paracomplete logics constructed by combination of isomorphs of classical logic CPC. These logics form a 10-element upper semi-lattice with respect ...
Degauquier, Vincent (Wydawnictwo Uniwersytetu Łódzkiego, 2018)The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the ...