The Gentzenization and decidability of RW

DOI10.1007/BF00211185zbMath0697.03006OpenAlexW2003464476MaRDI 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

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