Rules in relevant logic. I: Semantic classification

DOI10.1007/BF01050340zbMath0807.03008MaRDI QIDQ1319263

Ross T. Brady

Publication date: 5 March 1995

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicrelevant logicsemanticsclassical logicrules of inference

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (4)

External curries ⋮ Fragments of R-mingle ⋮ An incompleteness theorem for modal relevant logics ⋮ Rules in relevant logic. II: Formula representation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Gentzenization and decidability of RW
• Semantics for quantified relevance logic
• Alternative semantics for quantified first degree relevant logic
• Gentzenization and decidability of some contraction-less relevant logics
• Rules and Derived Rules
• E, R AND γ
• Deduction Theorems for Relevant Logics

This page was built for publication: Rules in relevant logic. I: Semantic classification