THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC

DOI10.1017/S1755020315000313zbMath1453.03018MaRDI QIDQ2804477

Guillermo Badia

Publication date: 29 April 2016

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (2)

What is a relevant connective? ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the ternary relation and conditionality
• Simplified semantics for relevant logics (and some of their rivals)
• Real analysis in paraconsistent logic
• Handbook of philosophical logic. Vol. 8
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• The simple consistency of a set theory based on the logic CSQ
• Relevant logic and the theory of information
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• Simulating without Negation
• MODEL-THEORETIC CHARACTERIZATION OF INTUITIONISTIC PROPOSITIONAL FORMULAS
• An alternative semantics for quantified relevant logic

This page was built for publication: THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC