A note on the decidability of a strong relevant logic

DOI10.1007/BF00379764zbMath0579.03012MaRDI QIDQ1066881

Harry Deutsch

Publication date: 1985

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

Mathematics Subject Classification ID

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

Related Items (1)

Logics of nonsense and Parry systems

Cites Work

• Unnamed Item
• Paraconsistent analytic implication
• Relevance and conformity
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• The completeness of S
• The undecidability of entailment and relevant implication

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