Rules in relevant logic. II: Formula representation

DOI10.1007/BF01053260zbMath0807.03009MaRDI QIDQ1319363

Ross T. Brady

Publication date: 5 March 1995

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

zbMATH Keywords

deduction theoremrelevant logicrules of inferenceenthymemesformula representations of rules

Mathematics Subject Classification ID

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

Related Items (3)

Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B ⋮ Non-Boolean classical relevant logics. II: Classicality through truth-constants ⋮ FOUR BASIC LOGICAL ISSUES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Completeness of relevant quantification theories
• The Gentzenization and decidability of RW
• Rules in relevant logic. I: Semantic classification
• Gentzenization and decidability of some contraction-less relevant logics
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• The undecidability of entailment and relevant implication
• Deduction Theorems for T, E and R Reconsidered
• Deduction Theorems for Relevant Logics

This page was built for publication: Rules in relevant logic. II: Formula representation