Results 1 to 10 of about 1,569 (137)
Non-Deterministic Semantics for Quantum States [PDF]
Entropy, 2020 In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations of quantum mechanics. This is
Juan Pablo Jorge, Federico Holik
doaj +2 more sources
Rough Approximation Operators on a Complete Orthomodular Lattice [PDF]
Axioms, 2021 This paper studies rough approximation via join and meet on a complete orthomodular lattice. Different from Boolean algebra, the distributive law of join over meet does not hold in orthomodular lattices. Some properties of rough approximation rely on the
Songsong Dai
doaj +2 more sources
An Intrinsic Topology for Orthomodular Lattices [PDF]
International Journal of Theoretical Physics, 2007 Under submission to the International Journal of Theoretical ...
A. Wilce +15 more
openaire +10 more sources
Residuation in orthomodular lattices
Topological Algebra and its Applications, 2017 We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness.
Chajda Ivan, Länger Helmut
doaj +3 more sources
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 +4 more sources
On Quantum-MV algebras - Part II: Orthomodular Lattices, Softlattices and Widelattices [PDF]
Transactions on Fuzzy Sets and Systems, 2022 Orthomodular lattices generalize the Boolean algebras; they have arisen in the study of quantum logic. Quantum-MV algebras were introduced as non-lattice theoretic generalizations of MV algebras and as non-idempotent generalizations of ...
Afrodita Iorgulescu
doaj +1 more source
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories [PDF]
Logical Methods in Computer Science, 2010 This paper is a sequel to arXiv:0902.2355 and continues the study of quantum logic via dagger kernel categories. It develops the relation between these categories and both orthomodular lattices and Foulis semigroups.
Bart Jacobs
doaj +1 more source
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).
Mirko Navara, John Harding
openaire +3 more sources
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 ...
Tae Ho Choe, Richard J. Greechie
openaire +1 more source
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