The non-relevant De Morgan minimal logic in Routley-Meyer semantics with no designated points
From MaRDI portal
Publication:4583358
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
Cites work
- scientific article; zbMATH DE number 3926879 (Why is no real title available?)
- scientific article; zbMATH DE number 3496100 (Why is no real title available?)
- 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 Łukasiewicz 3-valued logics
- Axiomatizing \(\mathrm {S4}_{+}\) and \(\mathrm J_{+}\) without the suffixing, prefixing and self-distribution of the conditional axioms
- Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
- The semantics of entailment. II
- The semantics of entailment. III
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)
