New Families of Finite Coherent Orthoalgebras without Bivaluations

Artur Ruuge, Fred Van Oystaeyen

In the present paper we study the following problem: how to construct a coherent orthoalgebra which has only a finite number of elements, but at the same time does not admit a biva…