(1) Institut für Algebra und Computermathematik, Technische Universität Wien, Abteilung für Mathematik in den Naturwissenschaften, Wiedner Hauptstrasse 8–10, A–1040 Wien, Austria.
Abstract:
We provide a simple algorithm for constructing Greechie logics whose states are convex linear combinations of two-valued states.