Logical connectives on lattice effect algebras

DOI10.1007/s11225-012-9454-3zbMath1273.03173OpenAlexW2040690525MaRDI QIDQ1935557

Sylvia Pulmannová, David J. Foulis

Publication date: 18 February 2013

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9454-3

zbMATH Keywords

orthomodular latticeimplicationnegationconjunctionlattice effect algebraBL-algebraMV-effect algebrabasic algebraresiduationSasaki algebras

Mathematics Subject Classification ID

Complemented lattices, orthocomplemented lattices and posets (06C15) MV-algebras (06D35) Quantum logic (03G12) Ordered rings, algebras, modules (06F25)

Related Items (12)

\(L\)-algebras and three main non-classical logics ⋮ Results on topological lattice effect algebras ⋮ On residuation in paraorthomodular lattices ⋮ The logic induced by effect algebras ⋮ \(L\)-effect algebras ⋮ Lattice pseudoeffect algebras as double residuated structures ⋮ A complete axiomatisation for the logic of lattice effect algebras ⋮ Synaptic algebras as models for quantum mechanics ⋮ Fuzzy implications in lattice effect algebras ⋮ Quotient structures in lattice effect algebras ⋮ Unnamed Item ⋮ Material implications in lattice effect algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• The universal group of a Heyting effect algebra
• Every linear pseudo BL-algebra admits a state
• Pseudocomplemented lattice effect algebras and existence of states
• Many-valued quantum algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Metamathematics of fuzzy logic
• Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
• Lattices and ordered algebraic structures
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Residuated fuzzy logics with an involutive negation
• Observables, states, and symmetries in the context of CB-effect algebras
• What is mathematical fuzzy logic
• Lattice uniformities on effect algebras
• Implication connectives in orthomodular lattices
• Partial algebras for Łukasiewicz logics and its extensions
• Über nichtkommutative Verbände
• Algebraic Analysis of Many Valued Logics
• Modal propositional logic on an orthomodular basis. I
• Hoops and Fuzzy Logic
• A Presentation of Quantum Logic Based on an and then Connective
• The block structure of complete lattice ordered effect algebras
• On the lattice structure of quantum logic

This page was built for publication: Logical connectives on lattice effect algebras