A note on the decidability of a strong relevant logic

DOI10.1007/BF00379764zbMATH Open0579.03012MaRDI QIDQ1066881FDOQ1066881

Authors: Harry Deutsch 

Publication date: 1985

Published in: Studia Logica (Search for Journal in Brave)

Recommendations

• scientific article; zbMATH DE number 575580
• A Note on the Relevance of Semilattice Relevance Logic
• scientific article; zbMATH DE number 1248086
• A Constructive Proof of a Theorem in Relevance Logic
• On strong provability predicates and the associated modal logics
• Strongly decidable properties of modal and intuitionistic calculi
• On purely relevant logics
• The logical strength of Büchi's decidability theorem
• The logical strength of Büchi's decidability theorem
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Cites Work

• A Kripke-style semantics for R-mingle using a binary accessibility relation
• The undecidability of entailment and relevant implication
• The completeness of S
• Relevance and conformity
• Paraconsistent analytic implication
• Title not available (Why is that?)

Cited In (8)

• Körner's criterion of relevance and analytic tableaux
• A decidable paraconsistent relevant logic: Gentzen system and Routley-Meyer semantics
• Title not available (Why is that?)
• On Sahlqvist formulas in relevant logic
• Deciding whether a relation defined in Presburger logic can be defined in weaker logics
• Logics of nonsense and Parry systems
• Natural deduction and sequent calculus for intuitionistic relevant logic
• Title not available (Why is that?)

This page was built for publication: A note on the decidability of a strong relevant logic

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