The Gentzenization and decidability of RW

DOI10.1007/BF00211185MaRDI QIDQ911575zbMATH OpenOpenAlexFDO

Authors 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

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Review text

By extending the approach of \textit{J. M. Dunn} presented in the monumental monography ``Entailment. The logic of relevance and necessity. Vol. I (1975; Zbl 0323.02030) by \textit{A. R. Anderson} and \textit{N. D. Belnap} jun., the author presents a cut-free Gentzen-type formulation of the relevant system RW. The treatment of negation is similar to that of \textit{R. A. Bull} for the fragment of RW without distribution [Notre Dame J. Formal Logic 28, 220-237 (1987; Zbl 0648.03007)] and that of \textit{I. D. Zaslavskij} for Nelson's logic of constructible falsity [Symmetric constructive logic (in Russian), Armenian Academy of Sciences (Erevan, 1978)]. In order to get decidability for RW, \textit{S. Giambrone}'s decidability argument is used [J. Philos. Logic 14, 235-254 (1985; Zbl 0587.03014)].

Recommendations

• Gentzenization and decidability of some contraction-less relevant logics
• An alternative Gentzenisation of \(\mathsf{RW}_+^\circ\)
• Gentzenizations of relevant logics without distribution. II
• scientific article; zbMATH DE number 1248086
• scientific article; zbMATH DE number 3961578

Cited in

(20)

• Situations in which disjunctive syllogism can lead from true premises to a false conclusion
• 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 \(\mathsf{RW}_+^\circ\)
• \(\mathbf{RM}\) and its nice properties
• A decidable temporal relevant logic for time-dependent relevant human reasoning
• Residuated Structures, Concentric Sums and Finiteness Conditions
• Temporal BI: proof system, semantics and translations
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
• Gentzenizations of relevant logics without distribution. II
• A cut-free sequent calculus for relevant logic RW
• Conserving involution in residuated structures
• Deep fried logic

This page was built for publication: The Gentzenization and decidability of RW

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q911575)