×

zbMATH — the first resource for mathematics

Semi-Boolean algebras and their applications to intuitionistic logic with dual operations. (English) Zbl 0298.02064

MSC:
03G25 Other algebras related to logic
03G05 Logical aspects of Boolean algebras
06E05 Structure theory of Boolean algebras
03B55 Intermediate logics
PDF BibTeX XML Cite
Full Text: DOI EuDML