scientific article
From MaRDI portal
Publication:3962967
zbMath0498.03012MaRDI QIDQ3962967
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B, EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes, What is a relevant connective?, Correspondence analysis and automated proof-searching for first degree entailment, The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic, Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Disentangling \textsf{FDE}-based paraconsistent modal logics, A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable, A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes, Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation, Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B, The normal and self-extensional extension of Dunn-Belnap logic, METAVALUATIONS, A 2 Set-Up Binary Routley Semantics for Gödelian 3-Valued Logic G3 and Its Paraconsistent Counterpart G3\(_\text{Ł}^\leq\), The Weak Variable Sharing Property, A general characterization of the variable-sharing property by means of logical matrices, A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE, The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3, Generalizing the depth relevance condition: deep relevant logics not included in R-mingle, A simple Henkin-style completeness proof for Gödel 3-valued logic G3, The lattice of Belnapian modal logics: Special extensions and counterparts, Partial and paraconsistent three-valued logics, Relational semantics for the 4-valued relevant logics BN4 and E4, Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3, The Number of Logical Values, A class of implicative expansions of Kleene's strong logic, a subclass of which is shown functionally complete via the precompleteness of Łukasiewicz's 3-valued logic Ł3, Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values, Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators, Curry's paradox, generalized modus ponens axiom and depth relevance, Dual binary discriminator varieties, PROOF SYSTEMS FOR VARIOUS FDE-BASED MODAL LOGICS, Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix II. Only one designated value, From Possibility Theory to Paraconsistency, Normalisation for Some Quite Interesting Many-Valued Logics, Rules in relevant logic. I: Semantic classification
