Model-Theoretic Investigations into Consequence Operation (Cn) in Quantum Logics: An Algebraic Approach.

Publication Year:
Usage 645
Downloads 645
Repository URL:
preprint description
In this paper, we present the fundamentals of the so-called algebraic approach to propositional quantum logics. We define the set of formulae describing quantum reality as a free algebra freely generated by the set of quantum proportional variables. We define the general notion of logic as a structural consequence operation. Next, we introduce the concept of logical matrices understood as a model of quantum logics.We give the definitions of two quantum consequence operations defined in these models.