CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION
From MaRDI portal
Publication:3395329
DOI10.1017/S1755020309090194zbMath1170.03010OpenAlexW2138989193MaRDI QIDQ3395329
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
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
This page was built for publication: CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION