Negative translations of orthomodular lattices and their logic
type: Item
instance of: scholarly article
title: Negative translations of orthomodular lattices and their logic
author: Wesley Fussner
author: Gavin st. John
publication date: 2024-11-29T00:00:00Z
Mathematics Subject Classification ID: 81Pxx
zbMATH DE Number: 7951937
MaRDI profile type: Publication
cites work: Algebraizable logics
cites work: Free Ortholattices
cites work: Q4508551
cites work: Q3934450
cites work: Orthomodular lattices can be converted into left residuated l-groupoids
cites work: Left residuated lattices induced by lattices with a unary operation
cites work: Reasoning in quantum theory. Sharp and unsharp quantum logics.
cites work: Q3185647
cites work: Weaker forms of associativity in orthomodular lattices.
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Glivenko theorems for substructural logics over FL
cites work: Orthomodular lattices whose MacNeille completions are not orthomodular
cites work: Q4955600
cites work: Quantum implication algebras
DOI: 10.4204/EPTCS.343.3
description: scientific article; zbMATH DE number 7951937