Identity in Mares-Goldblatt models for quantified relevant logic

DOI10.1007/S10992-021-09603-XMaRDI QIDQ2056221zbMATH OpenOpenAlexFDO

Authors 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

identityrelevant logicMares-Goldblatt frames

Mathematics Subject Classification ID

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

Recommendations

• Semantics for relevance logic with identity
• Identity in relevant logics: a relevant predication approach
• Relevant identity
• From iff to is: some new thoughts on identity in relevant logics
• Relevant predication: Grammatical characterisations
• An alternative semantics for quantified relevant logic
• Structural completeness in relevance logics
• Relevance and conformity
• A theory of logical relevance
• An admissible semantics for propositionally quantified relevant logics

Cites work

• scientific article; zbMATH DE number 3926879 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• A content semantics for quantified relevant logics. I
• A content semantics for quantified relevant logics. II
• An admissible semantics for propositionally quantified relevant logics
• An alternative semantics for quantified relevant logic
• An introduction to non-classical logic. From if to is
• Blurring: an approach to conflation
• CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
• Current trends in substructural logics
• Dunn's relevant predication, real properties and identity
• From iff to is: some new thoughts on identity in relevant logics
• General information in relevant logic
• Handbook of philosophical logic. Vol. 6
• Models for entailment
• Natural deduction and arbitrary objects
• Notes on stratified semantics
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Recent Work in Relevant Logic
• Relevant identity
• Relevant predication. I: The formal theory
• Relevant predication: Grammatical characterisations
• SUBSTITUTION IN RELEVANT LOGICS
• Semantics for quantified relevance logic
• Semantics for relevance logic with identity
• The connectives

Cited in

(4)

• A substructural approach to explicit modal logic
• Neighbourhood semantics for quantified relevant logics
• First-order relevant reasoners in classical worlds
• Semantics for relevance logic with identity

This page was built for publication: Identity in Mares-Goldblatt models for quantified relevant logic

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