scientific article; zbMATH DE number 3784842

Cited in

(36)

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
The number of logical values
Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B
Curry's paradox, generalized modus ponens axiom and depth relevance
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation
Relational semantics for the 4-valued relevant logics BN4 and E4
Disentangling \textsf{FDE}-based paraconsistent modal logics
A general characterization of the variable-sharing property by means of logical matrices
A strong and rich 4-valued modal logic without Łukasiewicz-type paradoxes
The class of all natural implicative expansions of Kleene's strong logic functionally equivalent to Łukasiewicz's 3-valued logic Ł3
A simple Henkin-style completeness proof for Gödel 3-valued logic G3
Proof systems for various \textsf{FDE}-based modal logics
The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic
Generalizing the depth relevance condition: deep relevant logics not included in R-mingle
Normalisation for some quite interesting many-valued logics
Metavaluations
Correspondence analysis and automated proof-searching for first degree entailment
From possibility theory to paraconsistency
Partial and paraconsistent three-valued logics
Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
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
The lattice of Belnapian modal logics: special extensions and counterparts
A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3
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?
Dual binary discriminator varieties
Rules in relevant logic. I: Semantic classification
The normal and self-extensional extension of Dunn-Belnap logic
Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix. II: Only one designated value
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3962967)