scientific article; zbMATH DE number 1349126
From MaRDI portal
Publication:4265157
Recommendations
- On the structure and the properties of L₀^*-Lindenbaum algebra
- Simple axioms for orthomodular implication algebras
- On the linear Lindenbaum algebra of Basic Propositional Logic
- Reduced axioms for the propositional logics induced by basic algebras
- Reduced axiomatization of lattice implication algebras
Cited in
(3)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4265157)