A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

DOI10.1002/malq.201400086zbMath1388.03033OpenAlexW2358432189MaRDI QIDQ2813672

Norihiro Kamide

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

zbMATH Keywords

decidabilityrelevance logicparaconsistent logicconstructible negation

Mathematics Subject Classification ID

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

Related Items (1)

Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

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