Logical connectives on lattice effect algebras
From MaRDI portal
Publication:1935557
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
orthomodular lattice; implication; negation; conjunction; lattice effect algebra; BL-algebra; MV-effect algebra; basic algebra; residuation; Sasaki algebras
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