Results 11 to 20 of about 813,495 (126)
On Locally Finite Orthomodular Lattices [PDF]
Abstract Let us denote by ℒ ℱ $[\mathcal{L}\mathcal{F}$ the ...
Burešová, Dominika, Pták, Pavel
openaire +4 more sources
Residuation in orthomodular lattices
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 +2 more sources
Foulis Quantales and Complete Orthomodular Lattices
arXiv admin note: text overlap with arXiv:2501 ...
Michal Botur, Jan Paseka, Richard Smolka
openaire +3 more sources
Subjective expected utility on orthomodular lattices
Abstract In recent work, the author has developed a general category-theoretic framework for decision theory. This article applies this to the category of orthomodular lattices (OMLs). Every Boolean algebra is an OML, so this yields a new (syntactic) model of decision-making with classical uncertainty.
M. Pivato
openaire +4 more sources
Negative Translations of Orthomodular Lattices and Their Logic [PDF]
We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices as those ...
Wesley Fussner, Gavin St. John
semanticscholar +1 more source
The paraunitary group of a von Neumann algebra
Abstract It is proved that the pure paraunitary group over a von Neumann algebra coincides with the structure group of its projection lattice. The structure group of an arbitrary orthomodular lattice (OML) is a group with a right invariant lattice order, and as such it is known to be a complete invariant of the OML.
Carsten Dietzel, Wolfgang Rump
wiley +1 more source
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
Orthomodular Lattices Induced by the Concurrency Relation [PDF]
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
PROPERTIES OF THE FORMAL CONTEXT OF ORTHOMODULAR LATTICES
Let $L$ be a finite Orthomodular Lattice and $T$ be the Formal Context of $L$. Then, considering $T$ as a binary symmetric matrix, we find the determinant of the formal context of the atomic amalgam $B_n+B_m$ of two Boolean algebras $\mathbf{B_{n}}$ and $
S. Shabnam, Ramananda Hs, Harsha Aj
semanticscholar +1 more source
Profinite orthomodular lattices [PDF]
We prove that any compact topological orthomodular lattice L L is zero dimensional. This leads one to show that
Choe, Tae Ho, Greechie, Richard J.
openaire +1 more source

