Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras

DOI10.1007/s10773-013-1744-7zbMath1302.81036OpenAlexW1972088297MaRDI QIDQ472706

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

zbMATH Keywords

decidabilityHeyting algebraMV-algebraeffect algebralattice-ordered effect algebrastrong completenessdeduction-detachment theoremHeyting effect algebraHeyting-Wajsberg algebrapseudoboolean effect algebraStonean MV-algebra

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Cites Work

• Effect algebras and unsharp quantum logics.
• On the structure of varieties with equationally definable principal congruences. IV
• Algebraic foundations of many-valued reasoning
• BZMV\(^{\text{dM}}\) algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations)
• MV-algebras: a variety for magnitudes with archimedean units
• Algebraic Analysis of Many Valued Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras