Negative translations of orthomodular lattices and their logic

DOI10.4204/EPTCS.343.3MaRDI QIDQ6646296FDOQ6646296

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

• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Algebraizable logics
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Abstract algebraic logic. An introductory textbook
• Title not available (Why is that?)
• Free Ortholattices
• Quantum implication algebras
• Title not available (Why is that?)
• Glivenko theorems for substructural logics over FL
• Orthomodular lattices can be converted into left residuated l-groupoids
• Left residuated lattices induced by lattices with a unary operation
• Orthomodular lattices whose MacNeille completions are not orthomodular
• 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)