The relevant fragment of first order logic

DOI10.1017/S1755020315000313MaRDI QIDQ2804477zbMATH OpenFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• scientific article; zbMATH DE number 1834586 (Why is no real title available?)
• A Routley-Meyer type semantics for relevant logics including \(\text B_{\text r}\) plus the disjunctive syllogism
• An alternative semantics for quantified relevant logic
• Handbook of philosophical logic. Vol. 8
• Model-theoretic characterization of intuitionistic propositional formulas
• On the ternary relation and conditionality
• Real analysis in paraconsistent logic
• Relevant logic and the theory of information
• Simplified semantics for relevant logics (and some of their rivals)
• Simulating without Negation
• The simple consistency of a set theory based on the logic CSQ
• Transfinite numbers in paraconsistent set theory

Cited in

(6)

• A structurally complete fragment of relevant logic
• Ordered Fragments of First-Order Logic
• What is a relevant connective?
• scientific article; zbMATH DE number 408805 (Why is no real title available?)
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Incompactness of the \(\forall_1\) fragment of basic second order propositional relevant logic

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)