On States on MV-algebras and their Applications

DOI10.1093/LOGCOM/EXP011zbMath1237.06004OpenAlexW2134885189MaRDI QIDQ3006595

Anatolij Dvurečenskij

Publication date: 20 June 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp011

zbMATH Keywords

stateMV-algebracoherence criterionde Finetti's probability theorySMV-algebra

Mathematics Subject Classification ID

Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) MV-algebras (06D35) Many-valued logic (03B50) Quantum logic (03G12)

Related Items (5)

Generalized Bosbach and Riečan states based on relative negations in residuated lattices ⋮ Equational characterization for two-valued states in orthomodular quantum systems ⋮ Two-valued states on Baer \(^\ast\)-semigroups ⋮ Logical approach for two-valued states on quantum systems ⋮ Kripke style semantic for the logic of two valued-states

This page was built for publication: On States on MV-algebras and their Applications