On Brouwer-Heyting lattices
From MaRDI portal
Publication:6173718
Recommendations
Cites work
- Algebraic Analysis of Many Valued Logics
- Boolean representation of bounded BCK-algebras
- scientific article; zbMATH DE number 3430627 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- On the structure of varieties with equationally definable principal congruences. III
- Orthomodular structures as quantum logics. Transl. from the Slovak
- Residuated Lattices
Cited in
(2)
This page was built for publication: On Brouwer-Heyting lattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6173718)