An alternative semantics for quantified relevant logic

DOI10.2178/jsl/1140641167zbMath1100.03011OpenAlexW2045779073MaRDI QIDQ5477628

Robert Goldblatt, Edwin D. Mares

Publication date: 5 July 2006

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

Full work available at URL: https://doi.org/10.2178/jsl/1140641167

Mathematics Subject Classification ID

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

Related Items (20)

QUANTIFIED MODAL RELEVANT LOGICS ⋮ Current trends in substructural logics ⋮ General information in relevant logic ⋮ Neighbourhood semantics for quantified relevant logics ⋮ An admissible semantics for propositionally quantified relevant logics ⋮ Varieties of Relevant S5 ⋮ On elimination of quantifiers in some non‐classical mathematical theories ⋮ The nature of information: a relevant approach ⋮ Neighbourhood semantics for modal relevant logics ⋮ INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY ⋮ Second-order propositional modal logic: expressiveness and completeness results ⋮ Logical consequence and the paradoxes ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH ⋮ BELIEF REVISION, PROBABILISM, AND LOGIC CHOICE ⋮ Commutativity of Quantifiers in Varying-Domain Kripke Models ⋮ THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ Notes on stratified semantics ⋮ R-Mingle is Nice, and so is Arnon Avron

Cites Work

• Completeness of relevant quantification theories
• Algebraic completeness results for R-mingle and its extensions
• Unnamed Item

This page was built for publication: An alternative semantics for quantified relevant logic