The relevant fragment of first order logic

DOI10.1017/S1755020315000313zbMATH Open1453.03018MaRDI QIDQ2804477FDOQ2804477

Guillermo Badia

Publication date: 29 April 2016

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

Recommendations

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Incompactness of the \(\forall_1\) fragment of basic second order propositional relevant logic
• The Relevant Equivalence Property
• On Sahlqvist formulas in relevant logic
• Modal languages and bounded fragments of predicate logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• A structurally complete fragment of relevant logic
• Ordered Fragments of First-Order Logic
• Title not available (Why is that?)
• What is a relevant connective?

This page was built for publication: The relevant fragment of first order logic

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