On the intuitionistic equivalential calculus
From MaRDI portal
Publication:2562173
DOI10.1305/ndjfl/1093891099zbMath0265.02017OpenAlexW2001159392MaRDI QIDQ2562173
Publication date: 1973
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093891099
Related Items (6)
Algebraic semantics for the ‐fragment of and its properties ⋮ On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation ⋮ Unnamed Item ⋮ Free equivalential algebras ⋮ Free spectra of linear equivalential algebras ⋮ Basic properties of the equivalence
This page was built for publication: On the intuitionistic equivalential calculus
