The Gentzenization and decidability of RW

DOI10.1007/BF00211185zbMath0697.03006MaRDI QIDQ911575

Ross T. Brady

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

zbMATH Keywords

cut-free Gentzen-type formulation of the relevant system RW

Mathematics Subject Classification ID

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