Semantics for relevance logic with identity

DOI10.1007/BF00370329zbMath0788.03028OpenAlexW2005378499MaRDI QIDQ1194104

Edwin D. Mares

Publication date: 27 September 1992

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370329

zbMATH Keywords

quantificationtransitivityrelevant predicationsubstitutionquantified relevant logic with identity

Mathematics Subject Classification ID

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

Related Items (11)

What is a relevant connective? ⋮ A substructural approach to explicit modal logic ⋮ Logical consequence and the paradoxes ⋮ From Iff to Is: Some New Thoughts on Identity in Relevant Logics ⋮ REPLY TO BJØRDAL ⋮ Revision algebra semantics for conditional logic ⋮ Extensionality and restriction in naive set theory ⋮ Identity in Mares-Goldblatt models for quantified relevant logic ⋮ CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION ⋮ Relevant identity ⋮ Notes on stratified semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relevant predication: Grammatical characterisations
• Relevant predication. I: The formal theory
• Semantics for quantified relevance logic
• Models for entailment

This page was built for publication: Semantics for relevance logic with identity