scientific article; zbMATH DE number 1471993

MaRDI QIDQ4489077zbMATH OpenFDO

Authors Jacek Malinowski

Publication date 5 June 2001

zbMATH Keywords

quasivarieties of orthomodular lattices

Mathematics Subject Classification ID

Quantum logic (03G12) Complemented lattices, orthocomplemented lattices and posets (06C15)

Cited in

(13)

• scientific article; zbMATH DE number 7301527 (Why is no real title available?)
• scientific article; zbMATH DE number 5872048 (Why is no real title available?)
• scientific article; zbMATH DE number 5046779 (Why is no real title available?)
• On congruence modularity in varieties of logic.
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• An implicational logic for orthomodular lattices
• scientific article; zbMATH DE number 5864581 (Why is no real title available?)
• scientific article; zbMATH DE number 1501646 (Why is no real title available?)
• Orthogonality and Boolean Algebras for Deduction Modulo
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• scientific article; zbMATH DE number 1377711 (Why is no real title available?)
• scientific article; zbMATH DE number 4002342 (Why is no real title available?)
• The lattice-modalized propositional logic: Distributivity and modularity of the Gentzen deduction system GL1

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