Results 21 to 30 of about 1,603 (177)
Profinite orthomodular lattices [PDF]
Proceedings of the American Mathematical Society, 1993 We prove that any compact topological orthomodular lattice L L is zero dimensional. This leads one to show that L L is profinite iff it is the product of finite orthomodular lattices with their discrete topologies. We construct a completion L ¯ \overline L of a residually finite ...
Choe, Tae Ho, Greechie, Richard J.
openaire +1 more source
Journal of Mathematics, Volume 2022, Issue 1, 2022., 2022 The main goal of this paper is to introduce and investigate the related theory on monadic effect algebras. First, we design the axiomatic system of existential quantifiers on effect algebras and then use it to give the definition of the universal quantifier and monadic effect algebras.
Yuxi Zou, Xiaolong Xin, Li Guo
wiley +1 more source
Varieties of Orthomodular Lattices. II [PDF]
Canadian Journal of Mathematics, 1972 In this paper we start investigating the lattice of varieties of orthomodular lattices. The varieties studied here are those generated by orthomodular lattices which are the horizontal sum of Boolean algebras. It turns out that these form a principal ideal in the lattice of all varieties of orthomodular lattices.
Günter Bruns, Gudrun Kalmbach
openalex +2 more sources
Subalgebras of Orthomodular Lattices [PDF]
Order, 2010 Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as well as by its poset of Boolean subalgebras BSub(L).
Harding, John, Navara, Mirko
openaire +3 more sources
Generalized Rough Sets via Quantum Implications on Quantum Logic
Axioms, 2021 This paper introduces some new concepts of rough approximations via five quantum implications satisfying Birkhoff–von Neumann condition. We first establish rough approximations via Sasaki implication and show the equivalence between distributivity of ...
Songsong Dai
doaj +1 more source
Residuated Structures and Orthomodular Lattices [PDF]
Studia Logica, 2021 AbstractThe variety of (pointed) residuated lattices includes a vast proportion of the classes of algebras that are relevant for algebraic logic, e.g., $$\ell $$ ℓ -groups, Heyting algebras, MV-algebras, or De Morgan monoids.
fazio, davide +2 more
openaire +3 more sources
Orthomodular Lattices Induced by the Concurrency Relation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We apply to locally finite partially ordered sets a construction which associates a complete lattice to a given poset; the elements of the lattice are the closed subsets of a closure operator, defined starting from the concurrency relation. We show that,
Luca Bernardinello +2 more
doaj +1 more source
Weakly Orthomodular and Dually Weakly Orthomodular Lattices [PDF]
Order, 2018 The authors study the varieties of lattices with a unary operation~\('\) satisfying one or two or the following equations: \begin{align*} x= & (x\land y) \lor (x\land (x\land y)')\\ x= & (x\lor y) \land (x\lor (x\lor y)')\,. \end{align*} In ortholattices, any of these equations is equivalent to orthomodularity.
Chajda, Ivan, Länger, Helmut
openaire +2 more sources
Towards a Paraconsistent Quantum Set Theory [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In this paper, we will attempt to establish a connection between quantum set theory, as developed by Ozawa, Takeuti and Titani, and topos quantum theory, as developed by Isham, Butterfield and Döring, amongst others.
Benjamin Eva
doaj +1 more source
Quantum-Inspired Uncertainty Quantification
Frontiers in Computer Science, 2022 Reasonable quantification of uncertainty is a major issue of cognitive infocommunications, and logic is a backbone for successful communication. Here, an axiomatic approach to quantum logic, which highlights similarity to and differences to classical ...
Günther Wirsching
doaj +1 more source