The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic

DOI10.1080/11663081.2016.1153930MaRDI QIDQ4586153zbMATH OpenOpenAlexFDO

Authors

Publication date 12 September 2018

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2016.1153930

zbMATH Keywords

many-valued logicsmodal logicsrelevant logicsfour-valued logicsSmiley's four-element matrix

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53)

Recommendations

• First-degree entailment and structural reasoning
• Motivation and demotivation of a four-valued logic
• scientific article; zbMATH DE number 2209893
• A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4
• First-degree entailment and its relatives

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3784842 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• A lattice of implicative extensions of regular Kleene's logics
• An interpretation of Łukasiewicz's 4-valued modal logic
• Entailment and relevance¹
• Intuitive semantics for first-degree entailments and `coupled trees'
• Partiality and its dual
• Reasoning with logical bilattices
• The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
• The value of the four values
• What is strict implication?

Cited in

(5)

• Belnap-Dunn semantics for natural implicative expansions of Kleene's strong three-valued matrix with two designated values
• Correspondence analysis and automated proof-searching for first degree entailment
• A class of implicative expansions of Belnap-Dunn logic in which Boolean negation is definable
• A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
• EF4, EF4-M and EF4-Ł: A companion to BN4 and two modal four-valued systems without strong Łukasiewicz-type modal paradoxes

Describes a project that uses

Uses Software

• MaTest

This page was built for publication: The logic determined by Smiley's matrix for Anderson and Belnap's first-degree entailment logic

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