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)

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• An alternative semantics for quantified relevant logic
• 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
• 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

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)