CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION

DOI10.1017/S1755020309090194MaRDI QIDQ3395329zbMATH OpenOpenAlexFDO

Authors 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 extensionfirst-order relevant logicsHeyting implicationstrong identity axioms

Mathematics Subject Classification ID

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

Recommendations

• Relevance Logic as a Conservative Extension of Classical Logic
• Completeness and conservative extension results for some Boolean relevant logics
• Conservative Extension in Relevant Arithmetic
• A semantic approach to conservativity
• On a conservative extension argument of Dana Scott

Cites work

• Displaying and deciding substructural logics. I: Logics with contraposition
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• Models for entailment
• Semantic analysis of orthologic
• Semantics for quantified relevance logic
• Semantics for relevance logic with identity

Cited in

(3)

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

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

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