Rules in relevant logic. II: Formula representation

DOI10.1007/BF01053260MaRDI QIDQ1319363zbMATH OpenFDO

Authors Ross T. Brady

Publication date 5 March 1995

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

relevant logicdeduction theoremrules of inferenceenthymemesformula representations of rules

Mathematics Subject Classification ID

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

Recommendations

• A decision procedure for the system E (of entailment). I
• Normalized natural deduction systems for some relevant logics I: The logic DW
• The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems
• A dynamic characterization of the pure logic of relevant implication
• A general treatment for the deduction theorem in open calculi
• scientific article; zbMATH DE number 3882410
• scientific article; zbMATH DE number 1354102
• Trees for E
• scientific article; zbMATH DE number 2109242
• The theory of form logic

Cites work

• scientific article; zbMATH DE number 3891328 (Why is no real title available?)
• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• Completeness of relevant quantification theories
• Deduction Theorems for Relevant Logics
• Deduction Theorems for T, E and R Reconsidered
• Gentzenization and decidability of some contraction-less relevant logics
• Rules in relevant logic. I: Semantic classification
• The Gentzenization and decidability of RW
• The undecidability of entailment and relevant implication

Cited in

(7)

• Deduction theorems for weak implicational logics
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• FOUR BASIC LOGICAL ISSUES
• scientific article; zbMATH DE number 4142005 (Why is no real title available?)
• The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems
• The fundamental S-theorem - A corollary
• Belnap-Dunn Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer’s Logic B

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

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