The Gentzenization and decidability of RW
From MaRDI portal
Publication:911575
DOI10.1007/BF00211185zbMath0697.03006MaRDI QIDQ911575
Publication date: 1990
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00211185
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
03F05: Cut-elimination and normal-form theorems
Related Items
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic, Conserving involution in residuated structures, Temporal BI: proof system, semantics and translations, Modal translations in substructural logics, Rules in relevant logic. I: Semantic classification, Rules in relevant logic. II: Formula representation, Varieties of De Morgan monoids: minimality and irreducible algebras, A cut-elimination proof in positive relevant logic with necessity, Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic, Gentzenization and decidability of some contraction-less relevant logics, A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics, The logic Ł•, An alternative Gentzenisation of RW+∘, $$\mathbf {RM}$$ RM and its Nice Properties, A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning, Residuated Structures, Concentric Sums and Finiteness Conditions