The Gentzenization and decidability of RW
From MaRDI portal
Publication:911575
DOI10.1007/BF00211185zbMath0697.03006OpenAlexW2003464476MaRDI 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
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Cut-elimination and normal-form theorems (03F05)
Related Items (16)
A Decidable Temporal Relevant Logic for Time-Dependent Relevant Human Reasoning ⋮ The logic Ł• ⋮ Temporal BI: proof system, semantics and translations ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ An alternative Gentzenisation of RW+∘ ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ $$\mathbf {RM}$$ RM and its Nice Properties ⋮ Modal translations in substructural logics ⋮ Conserving involution in residuated structures ⋮ Gentzenization and decidability of some contraction-less relevant logics ⋮ A cut-elimination proof in positive relevant logic with necessity ⋮ A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics ⋮ Did Aristotle endorse Aristotle's thesis? A case study in Aristotle's metalogic ⋮ Rules in relevant logic. I: Semantic classification ⋮ Rules in relevant logic. II: Formula representation
This page was built for publication: The Gentzenization and decidability of RW