CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION

DOI10.1017/S1755020309090194zbMath1170.03010OpenAlexW2138989193MaRDI QIDQ3395329

Robert Goldblatt

Publication date: 26 August 2009

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

Full work available at URL: https://doi.org/10.1017/s1755020309090194

zbMATH Keywords

conservative extensionHeyting implicationfirst-order relevant logicsstrong identity axioms

Mathematics Subject Classification ID

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

Related Items (3)

Current trends in substructural logics ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Identity in Mares-Goldblatt models for quantified relevant logic

Cites Work

• Unnamed Item
• Semantics for quantified relevance logic
• Semantics for relevance logic with identity
• Models for entailment
• Displaying and deciding substructural logics. I: Logics with contraposition
• Semantic analysis of orthologic

This page was built for publication: CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION