Negative translations of orthomodular lattices and their logic

DOI10.4204/EPTCS.343.3MaRDI QIDQ6646296

Gavin st. John, Wesley Fussner

Publication date: 29 November 2024

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Left residuated lattices induced by lattices with a unary operation
• Residuated lattices. An algebraic glimpse at substructural logics
• Orthomodular lattices whose MacNeille completions are not orthomodular
• Quantum implication algebras
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Weaker forms of associativity in orthomodular lattices.
• Glivenko theorems for substructural logics over FL
• Algebraizable logics
• Free Ortholattices
• Orthomodular lattices can be converted into left residuated l-groupoids

Related Items (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)