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

DOI10.1080/11663081.2014.972306zbMATH Open1398.03103OpenAlexW2067557144MaRDI QIDQ4583358FDOQ4583358

Authors:

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

Recommendations

• A basic quasi-Boolean logic of intuitionistic character
• A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• Models for relevant modal logics
• Minimal non-relevant logics without the K axiom. II. Negation introduced as a primitive unary connective

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)

Cites Work

• The semantics of entailment. II
• The semantics of entailment. III
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Routley-Meyer semantics for truth-preserving and well-determined Łukasiewicz 3-valued logics
• Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
• A Routley-Meyer semantics for Gödel 3-valued logic and its paraconsistent counterpart
• A Routley-Meyer affixing style semantics for logics containing Aristotle's thesis
• Axiomatizing \(\mathrm {S4}_{+}\) and \(\mathrm J_{+}\) without the suffixing, prefixing and self-distribution of the conditional axioms

Cited In (4)

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

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

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