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

DOI10.1007/S10773-013-1744-7MaRDI QIDQ472706zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

decidabilityeffect algebralattice-ordered effect algebraMV-algebrastrong completenessHeyting algebradeduction-detachment theoremHeyting effect algebraHeyting-Wajsberg algebrapseudoboolean effect algebraStonean MV-algebra

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 2182597
• scientific article; zbMATH DE number 1927335
• scientific article; zbMATH DE number 1932309
• Logical connectives on lattice effect algebras
• Lattice-ordered effect algebras and L-algebras

Cites work

• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 1293525 (Why is no real title available?)
• scientific article; zbMATH DE number 513226 (Why is no real title available?)
• scientific article; zbMATH DE number 1927335 (Why is no real title available?)
• scientific article; zbMATH DE number 2182597 (Why is no real title available?)
• scientific article; zbMATH DE number 2182598 (Why is no real title available?)
• scientific article; zbMATH DE number 823454 (Why is no real title available?)
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• Algebraic methods in philosophical logic
• BZMV\(^{\text{dM}}\) algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations)
• Effect algebras and unsharp quantum logics.
• MV-algebras: a variety for magnitudes with archimedean units
• On the structure of varieties with equationally definable principal congruences. IV

Cited in

(3)

• scientific article; zbMATH DE number 1927335 (Why is no real title available?)
• scientific article; zbMATH DE number 2182597 (Why is no real title available?)
• The universal group of a Heyting effect algebra

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)