Equivalent overdetermined and underdetermined bivalent Belnap–Dunn type semantics for the logics determined by all natural implicative expansions of Kleene’s strong 3-valued matrix with only one designated value are provided.

ABSTRACTA conditional is natural if it fulfils the three following conditions. It coincides with the classical conditional when restricted to the classical values T and F; it satisfies the Modus Ponens; and it is assigned a designated value whenever the value assigned to its antecedent is less than or equal to the value assigned to its consequent. The aim of this paper is to provide a ‘bivalent’ Belnap-Dunn semantics for all natural implicative expansions of Kleene's strong 3-valued matrix with two (...) designated elements. (shrink)

This paper is a sequel to ‘Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values’, where a ‘bivalent’ Belnap-Dunn semantics is provided for all the expansions referred to in its title. The aim of the present paper is to carry out a parallel investigation for all natural implicative expansions of Kleene's strong 3-valued matrix now with only one designated value.

G3 is Gödelian 3-valued logic, G3\(_\text{Ł}^\leq\) is its paraconsistent counterpart and G3\(_\text{Ł}^1\) is a strong extension of G3\(_\text{Ł}^\leq\). The aim of this paper is to endow each one of the logics just mentioned with a 2 set-up binary Routley semantics.

The logic DHb is the result of extending Sylvan and Plumwood’s minimal De Morgan logic BM with a dual intuitionistic negation of the type Sylvan defined for the extension CCω of da Costa’s paraconsistent logic Cω. We provide Routley–Meyer ternary relational semantics with a set of designated points for DHb and a wealth of its extensions included in G3DH, the expansion of G3+ with a dual intuitionistic negation of the kind considered by Sylvan (G3+ is the positive fragment of Gödelian (...) 3-valued logic G3). All logics in the paper are paraconsistent. (shrink)

The Fregean-inspired Principle of Compositionality of Meaning for formal languages asserts that the meaning of a compound expression is analysable in terms of the meaning of its constituents, taking into account the mode in which these constituents are combined so as to form the compound expression. From a logical point of view, this amounts to prescribing a constraint—that may or may not be respected—on the internal mechanisms that build and give meaning to a given formal system. Within the domain of (...) formal semantics and of the structure of logical derivations, the PoC is often directly reflected by metaproperties such as truth-functionality and analyticity, characteristic of computationally well-behaved logical systems. (shrink)

A proof is presented showing that there is no paraconsistent logics with a standard implication which have a three-valued characteristic matrix, and in which the replacement principle holds.

A logic \ is called self-extensional if it allows to replace occurrences of a formula by occurrences of an \-equivalent one in the context of claims about logical consequence and logical validity. It is known that no three-valued paraconsistent logic which has an implication can be self-extensional. In this paper we show that in contrast, there is exactly one self-extensional three-valued paraconsistent logic in the language of \ for which \ is a disjunction, and \ is a conjunction. We also (...) investigate the main properties of this logic, determine the expressive power of its language, and provide a cut-free Gentzen-type proof system for it. (shrink)

The logic $G3^{<}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ was introduced in Robles and Mendéz as a paraconsistent logic which is based on Gödel’s 3-valued matrix, except that Kleene–Łukasiewicz’s negation is added to the language and is used as the main negation connective. We show that $G3^{<}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ is exactly the intersection of $G3^{\{1\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ and $G3^{\{1,0.5\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$, the two truth-preserving 3-valued logics which are based on the same truth tables. We then construct a Hilbert-type system which has for $\to $ as its sole rule of inference, and is (...) strongly sound and complete for $G3^{<}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$. Then we show how, by adding one axiom or one new rule of inference, we get strongly sound and complete systems for $G3^{\{1\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$ and $G3^{\{1,0.5\}}_{{{}^{\scriptsize{-}}}\!\!\textrm{L}}$. Finally, we provide quasi-canonical Gentzen-type systems which are sound and complete for those logics and show that they are all analytic, by proving the cut-elimination theorem for them. (shrink)