A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
From MaRDI portal
Publication:2813672
DOI10.1002/malq.201400086zbMath1388.03033OpenAlexW2358432189MaRDI QIDQ2813672
Publication date: 24 June 2016
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201400086
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Handbook of philosophical logic. Vol. 8
- Proof theory of Nelson's paraconsistent logic: a uniform perspective
- The Gentzenization and decidability of RW
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\)
- Combining linear-time temporal logic with constructiveness and paraconsistency
- Semantical analyses of propositional systems of Fitch and Nelson
- Intuitionistic logic with strong negation
- Linear and affine logics with temporal, spatial and epistemic operators
- Constructible falsity and inexact predicates
- The undecidability of entailment and relevant implication
- Logic Programming with Strong Negation and Inexact Predicates
- Logics of Formal Inconsistency
- A semantical study of constructible falsity
- Constructible falsity
This page was built for publication: A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics