Filters and Supports in Orthoalgebras

摘要: An orthoalgebra, which is a natural generalization of an orthomodular lattice or poset, may be viewed as “logic” “proposition system” and, under welldefined set circumstances, its elements classified according to the Aristotelian modalities: necessary, impossible, possible, and contingent. The necessary propositions band together form local filter, that is, intersects every Boolean subalgebra in filter. In this paper, we give coherent account basic theory Orthoalgebras, define study filters, associated structures, prove version compactness theorem classical algebraic logic.