Publication:3191206
From MaRDI portal
zbMath1314.03003MaRDI QIDQ3191206
Jan Kühr, Michal Botur, Jan Paseka, Ivan Chajda, Radomír Halaš
Publication date: 24 September 2014
MV-algebra; state-morphism; lattice effect algebra; commutative basic algebra; tense MV-algebra; non-associative BL-algebra
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03G25: Other algebras related to logic
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
06D35: MV-algebras
03G12: Quantum logic
06F25: Ordered rings, algebras, modules
08A55: Partial algebras