Material implications in lattice effect algebras
DOI10.1016/J.INS.2017.12.049zbMATH Open1437.06009OpenAlexW2777785099MaRDI QIDQ781950FDOQ781950
Authors: 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
Recommendations
Fuzzy logic; logic of vagueness (03B52) Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)
Cites Work
- Title not available (Why is that?)
- Effect algebras and unsharp quantum logics.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reasoning in quantum theory. Sharp and unsharp quantum logics.
- Filters and supports in orthoalgebras
- Commutative basic algebras and non-associative fuzzy logics
- Logical connectives on lattice effect algebras
- Effect algebras are conditionally residuated structures
- Every effect algebra can be made into a total algebra
- Material implications in orthomodular (and Boolean) lattices
- An axiom system for orthomodular quantum logic
- Stalnaker conditionals and quantum logic
- Implication connectives in orthomodular lattices
- Residuation in orthomodular lattices
- Atomic effect algebras with the Riesz decomposition property
- Title not available (Why is that?)
- (\(S,N\))-implications on bounded lattices
- A note on residuated po-groupoids and lattices with antitone involutions
- Basic algebras, logics, trends and applications.
- Residuated lattices and lattice effect algebras
Cited In (14)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The logic of lattice effect algebras based on induced groupoids
- A complete axiomatisation for the logic of lattice effect algebras
- Module structure on effect algebras
- Quotient structures in lattice effect algebras.
- Title not available (Why is that?)
- 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
- Results on topological lattice effect algebras
- Logical connectives on lattice effect algebras
- The logic induced by effect algebras
- Properties of implication in effect algebras
- On residuation in paraorthomodular lattices
This page was built for publication: Material implications in lattice effect algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q781950)