Identity in Mares-Goldblatt models for quantified relevant logic

DOI10.1007/s10992-021-09603-xzbMath1491.03018OpenAlexW3164552654MaRDI QIDQ2056221

Shawn Standefer

Publication date: 2 December 2021

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

Full work available at URL: https://doi.org/10.1007/s10992-021-09603-x

zbMATH Keywords

relevant logicidentityMares-Goldblatt frames

Mathematics Subject Classification ID

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

Related Items

Neighbourhood semantics for quantified relevant logics ⋮ A substructural approach to explicit modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Current trends in substructural logics
• General information in relevant logic
• An admissible semantics for propositionally quantified relevant logics
• A content semantics for quantified relevant logics. II
• Relevant predication: Grammatical characterisations
• Natural deduction and arbitrary objects
• Relevant predication. I: The formal theory
• Semantics for quantified relevance logic
• A content semantics for quantified relevant logics. I
• Semantics for relevance logic with identity
• Models for entailment
• Relevant identity
• Blurring: an approach to conflation
• Handbook of philosophical logic. Vol. 6
• Notes on stratified semantics
• From Iff to Is: Some New Thoughts on Identity in Relevant Logics
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• SUBSTITUTION IN RELEVANT LOGICS
• Recent Work in Relevant Logic
• An alternative semantics for quantified relevant logic
• Dunn's relevant predication, real properties and identity