A complete axiomatisation for the logic of lattice effect algebras

DOI10.1007/s10773-019-04074-yOpenAlexW2949852764WikidataQ128007076 ScholiaQ128007076MaRDI QIDQ2239398

Soroush Rafiee Rad, Sonja Smets, Amir Hossein Sharafi

Publication date: 5 November 2021

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1808.01670

zbMATH Keywords

unsharp quantum logiclattice effect algebraSasaki arrowweak lattice effect algebra

Mathematics Subject Classification ID

General logic (03Bxx) Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx) Algebraic logic (03Gxx) Modular lattices, complemented lattices (06Cxx)

Related Items (1)

Quotient structures in lattice effect algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• A new axiomatization of unified quantum logic
• Material implications in lattice effect algebras
• States, effects, and operations. Fundamental notions of quantum theory. Lectures in mathematical physics at the University of Texas at Austin. Ed. by A. Böhm, J. D. Dollard and W. H. Wootters
• Pseudocomplemented lattice effect algebras and existence of states
• Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• The center of an effect algebra
• Logical connectives on lattice effect algebras
• The block structure of complete lattice ordered effect algebras

This page was built for publication: A complete axiomatisation for the logic of lattice effect algebras