An alternative semantics for quantified relevant logic

DOI10.2178/JSL/1140641167MaRDI QIDQ5477628zbMATH OpenOpenAlexFDO

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

Recommendations

• Semantics for quantified relevance logic
• An admissible semantics for propositionally quantified relevant logics
• A content semantics for quantified relevant logics. II
• A content semantics for quantified relevant logics. I
• QUANTIFIED MODAL RELEVANT LOGICS
• Neighbourhood semantics for quantified relevant logics
• Quantified logic programs, revisited
• scientific article; zbMATH DE number 795162
• scientific article; zbMATH DE number 5295712
• Some Model‐Theoretic Results for the Relevant Logic with Quantification

Cites work

• Algebraic completeness results for R-mingle and its extensions
• Completeness of relevant quantification theories
• scientific article; zbMATH DE number 596497 (Why is no real title available?)

Cited in

(36)

• Semantics for quantified relevance logic
• Semantical analysis of superrelevant predicate logics with quantification
• A content semantics for quantified relevant logics. I
• Semantics for relevance logic with identity
• Second-order propositional modal logic: expressiveness and completeness results
• Identity in Mares-Goldblatt models for quantified relevant logic
• Neighbourhood semantics for quantified relevant logics
• Notes on stratified semantics
• Current trends in substructural logics
• Neighbourhood semantics for modal relevant logics
• The relevant fragment of first order logic
• scientific article; zbMATH DE number 994051 (Why is no real title available?)
• MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH
• Commutativity of Quantifiers in Varying-Domain Kripke Models
• Some Model‐Theoretic Results for the Relevant Logic with Quantification
• INFINITARY PROPOSITIONAL RELEVANT LANGUAGES WITH ABSURDITY
• Logical consequence and the paradoxes
• Distribution in the logic of meaning containment and in quantum mechanics
• R-Mingle is Nice, and so is Arnon Avron
• On elimination of quantifiers in some non-classical mathematical theories
• Belief revision, probabilism, and logic choice
• Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
• QUANTIFIED MODAL RELEVANT LOGICS
• Varieties of Relevant S5
• The nature of information: a relevant approach
• One variable relevant logics are S5Ish
• First-order relevant reasoners in classical worlds
• Relevant semantics for connexive logics
• -admissibility in first-order relevant logics: proof using normal models in the Mares-Goldblatt setting
• Frege meets Belnap: Basic Law V in a relevant logic
• Quantified modal relevant logics. II: Welcome to the neighbourhood
• Introduction: directions and new directions
• Topic transparency and variable sharing in weak relevant logics
• Polyadic De Morgan monoids: functional representation and MG structures
• General information in relevant logic
• An admissible semantics for propositionally quantified relevant logics

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

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