Equational characterization for two-valued states in orthomodular quantum systems

TL;DR

This paper develops an algebraic framework to characterize various classes of two-valued states in orthomodular lattices, including Jauch-Piron states, through equational methods.

Contribution

It introduces an algebraic approach to equationally characterize multiple classes of two-valued states in orthomodular lattices, advancing the algebraic understanding of quantum logic.

Findings

Algebraic framework for two-valued states

Equational characterization of Jauch-Piron states

Unified approach for different state classes

Abstract

In this paper we develop an algebraic framework in which several classes of two-valued states over orthomodular lattices may be equationally characterized. The class of two-valued states and the subclass of Jauch-Piron two-valued states are among the classes which we study.