Constructive approach to logics of physical systems: Application to EPR case

A constructive approach to logics of physical systems, according to which families of propositions about physical systems are not defined in an axiomatic way, but are built up in the course of experiments, is proposed. Several ways of joining Boolean algebras of propositions obtained in single experiments are studied. The proposed approach is applied to study families of propositions encountered in EPR-type experiments. Two examples of such experimental families of EPR propositions are studied and they are compared with two theoretical families of EPR propositions in the literature.