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

Full work available at URL https://doi.org/10.4204/EPTCS.343.3

Mathematics Subject Classification ID

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

Cites work

• Abstract algebraic logic. An introductory textbook
• Algebraizable logics
• Free Ortholattices
• Glivenko theorems for substructural logics over FL
• 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?)
• 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

(4)

• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Orthomodular and unsharp orthomodular lattices: a categorical equivalence
• On contextuality and unsharp quantum logic
• Rules of partial orthomodularity

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)