Negative translations of orthomodular lattices and their logic

DOI10.4204/EPTCS.343.3MaRDI QIDQ6646296zbMATH OpenFDO

Authors Wesley Fussner, Gavin st. John

Publication date 29 November 2024

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1512853 (Why is no real title available?)
• scientific article; zbMATH DE number 1453805 (Why is no real title available?)
• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Free Ortholattices
• Glivenko theorems for substructural logics over FL
• Left residuated lattices induced by lattices with a unary operation
• Orthomodular lattices can be converted into left residuated l-groupoids
• Orthomodular lattices whose MacNeille completions are not orthomodular
• Quantum implication algebras
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Residuated lattices. An algebraic glimpse at substructural logics
• Weaker forms of associativity in orthomodular lattices.

Cited in

(1)

• Semiconic idempotent logic. II: Beth definability and deductive interpolation

This page was built for publication: Negative translations of orthomodular lattices and their logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6646296)