The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points

DOI10.1080/11663081.2014.972306zbMath1398.03103OpenAlexW2067557144MaRDI QIDQ4583358

No author found.

Publication date: 28 August 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.2014.972306

zbMATH Keywords

substructural logicsRoutley-Meyer semanticsDe Morgan logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)

Related Items (4)

The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic ⋮ Relational semantics for the 4-valued relevant logics BN4 and E4 ⋮ A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) ⋮ A basic quasi-Boolean logic of intuitionistic character

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The semantics of entailment. II
• The semantics of entailment. III
• A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• A Routley-Meyer semantics for truth-preserving and well-determined Lukasiewicz 3-valued logics

This page was built for publication: The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points