Rules in relevant logic. II: Formula representation

DOI10.1007/BF01053260zbMATH Open0807.03009MaRDI QIDQ1319363FDOQ1319363

Authors: Ross T. Brady 

Publication date: 5 March 1995

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

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

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)

Cites Work

• Title not available (Why is that?)
• The undecidability of entailment and relevant implication
• Title not available (Why is that?)
• Gentzenization and decidability of some contraction-less relevant logics
• The Gentzenization and decidability of RW
• Completeness of relevant quantification theories
• Rules in relevant logic. I: Semantic classification
• Title not available (Why is that?)
• Completeness Theorems for the Systems E of Entailment and EQ of Entailment with Quantification
• Deduction Theorems for T, E and R Reconsidered
• Deduction Theorems for Relevant Logics

Cited In (7)

• Deduction theorems for weak implicational logics
• Non-Boolean classical relevant logics. II: Classicality through truth-constants
• FOUR BASIC LOGICAL ISSUES
• Title not available (Why is that?)
• 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)