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 (36)
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
This page was built for publication:
