Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras
DOI10.1007/S10773-013-1744-7zbMATH Open1302.81036OpenAlexW1972088297MaRDI QIDQ472706FDOQ472706
Authors: Martinvaldo Konig 
Publication date: 19 November 2014
Published in: International Journal of Theoretical Physics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10773-013-1744-7
Recommendations
decidabilityeffect algebralattice-ordered effect algebraMV-algebrastrong completenessHeyting algebradeduction-detachment theoremHeyting effect algebraHeyting-Wajsberg algebrapseudoboolean effect algebraStonean MV-algebra
Quantum logic (03G12) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15) Heyting algebras (lattice-theoretic aspects) (06D20)
Cites Work
- Algebraic foundations of many-valued reasoning
- Algebraic methods in philosophical logic
- Algebraic Analysis of Many Valued Logics
- Title not available (Why is that?)
- Effect algebras and unsharp quantum logics.
- MV-algebras: a variety for magnitudes with archimedean units
- Title not available (Why is that?)
- On the structure of varieties with equationally definable principal congruences. IV
- Title not available (Why is that?)
- Title not available (Why is that?)
- BZMV\(^{\text{dM}}\) algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (3)
This page was built for publication: Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472706)
