Logical connectives on lattice effect algebras

DOI10.1007/s11225-012-9454-3zbMath1273.03173MaRDI 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 lattice; implication; negation; conjunction; lattice effect algebra; BL-algebra; MV-effect algebra; basic algebra; residuation; Sasaki algebras

Mathematics Subject Classification ID

06C15: Complemented lattices, orthocomplemented lattices and posets

06D35: MV-algebras

03G12: Quantum logic

06F25: Ordered rings, algebras, modules

Related Items

Unnamed Item, Quotient structures in lattice effect algebras, Lattice pseudoeffect algebras as double residuated structures, Material implications in lattice effect algebras, Fuzzy implications in lattice effect algebras, \(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, A complete axiomatisation for the logic of lattice effect algebras, Synaptic algebras as models for quantum mechanics

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item