scientific article; zbMATH DE number 18327

MaRDI QIDQ3975702zbMATH OpenFDO

Authors D. A. Nasyrov

Publication date 26 June 1992

zbMATH Keywords

complete tensor productdyadic Boolean algebramodular uniform logicstopological Boolean algebra

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• scientific article; zbMATH DE number 1530956
• Products of modal logics and tensor products of modal algebras
• The Tensor Product of Operational Logics
• A duality for distributive unimodal logic
• Completeness theorem for the logic characterized by distributive bilattices
• Tensor products of complete lattices and their application in constructing quantales
• Axiomatization and Completeness of Lexicographic Products of Modal Logics
• Axiomatization and completeness of lexicographic products of modal logics
• Tensor products of contexts and complete lattices
• Unification modulo ACUI plus distributivity axioms

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 Q3975702)