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

DOI10.1080/11663081.2016.1153930zbMATH Open1398.03109OpenAlexW2480359299MaRDI QIDQ4586153FDOQ4586153

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

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

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)

Cites Work

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

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

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)