Material implications in lattice effect algebras

DOI10.1016/j.ins.2017.12.049zbMath1437.06009OpenAlexW2777785099MaRDI QIDQ781950

R. A. Borzooei, Anatolij Dvurečenskij, Amir Hossein Sharafi

Publication date: 20 July 2020

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2017.12.049

zbMATH Keywords

fuzzy implicationlattice effect algebraSasaki arrowpartial t-normpt-implication

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (9)

Results on topological lattice effect algebras ⋮ On residuation in paraorthomodular lattices ⋮ The logic induced by effect algebras ⋮ Module Structure on Effect Algebras ⋮ A complete axiomatisation for the logic of lattice effect algebras ⋮ Fuzzy implications in lattice effect algebras ⋮ Characterizations of \((U^2,N)\)-implications generated by 2-uninorms and fuzzy negations from the point of view of material implication ⋮ Quotient structures in lattice effect algebras ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras are conditionally residuated structures
• Effect algebras and unsharp quantum logics.
• Residuated lattices and lattice effect algebras
• Commutative basic algebras and non-associative fuzzy logics
• Every effect algebra can be made into a total algebra
• Material implications in orthomodular (and Boolean) lattices
• An axiom system for orthomodular quantum logic
• Filters and supports in orthoalgebras
• Stalnaker conditionals and quantum logic
• Reasoning in quantum theory. Sharp and unsharp quantum logics.
• Atomic effect algebras with the Riesz decomposition property
• Logical connectives on lattice effect algebras
• Residuation in orthomodular lattices
• Implication connectives in orthomodular lattices
• (S,N)-Implications on Bounded Lattices
• A note on residuated po-groupoids and lattices with antitone involutions
• Basic algebras, logics, trends and applications

This page was built for publication: Material implications in lattice effect algebras