Results 21 to 30 of about 399 (126)
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
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
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
Orthomodular Lattices and Quantales [PDF]
International Journal of Theoretical Physics, 2005 Let $L$ be a complete orthomodular lattice. There is a one to one correspondence between complete boolean subalgebras of $L$ contained in the center of $L$ and endomorphisms $j$ of $L$ satisfying the Borceux-Van den Bossche conditions.
openaire +3 more sources
Conrad’s Partial Order on P.Q.-Baer *-Rings
Discussiones Mathematicae - General Algebra and Applications, 2018 We prove that a p.q.-Baer *-ring forms a pseudo lattice with Conrad’s partial order and also characterize p.q.-Baer *-rings which are lattices. The initial segments of a p.q.-Baer *-ring with the Conrad’s partial order are shown to be an orthomodular ...
Khairnar Anil, Waphare B.N.
doaj +1 more source
A Note of Filters in Effect Algebras
Chinese Journal of Mathematics, Volume 2013, Issue 1, 2013., 2013 We investigate relations of the two classes of filters in effect algebras (resp., MV‐algebras). We prove that a lattice filter in a lattice ordered effect algebra (resp., MV‐algebra) E does not need to be an effect algebra filter (resp., MV‐filter). In general, in MV‐algebras, every MV‐filter is also a lattice filter.
Biao Long Meng +3 more
wiley +1 more source
On Intuitionistic Fuzzy Context‐Free Languages
Journal of Applied Mathematics, Volume 2013, Issue 1, 2013., 2013 Taking intuitionistic fuzzy sets as the structures of truth values, we propose the notions of intuitionistic fuzzy context‐free grammars (IFCFGs, for short) and pushdown automata with final states (IFPDAs). Then we investigate algebraic characterization of intuitionistic fuzzy recognizable languages including decomposition form and representation ...
Jianhua Jin +3 more
wiley +1 more source
Advances in Mathematical Physics, Volume 2012, Issue 1, 2012., 2012 Most quantum logics do not allow for a reasonable calculus of conditional probability. However, those ones which do so provide a very general and rich mathematical structure, including classical probabilities, quantum mechanics, and Jordan algebras. This structure exhibits some similarities with Alfsen and Shultz′s noncommutative spectral theory, but ...
Gerd Niestegge, B. G. Konopelchenko
wiley +1 more source
A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic
International Journal of Mathematics and Mathematical Sciences, Volume 2012, Issue 1, 2012., 2012 Morphological operators are generalized to lattices as adjunction pairs (Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994). In particular, morphology for set lattices is applied to analyze logics through Kripke semantics (Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006).
Mitsuhiko Fujio, Shigeru Kanemitsu
wiley +1 more source
Commutators in Orthomodular Lattices
Demonstratio Mathematica, 1985 The author introduces the notions of a ''commutator'' for a possibly infinite set of elements M of an orthomodular lattice L and ''partial compatible'' (p.c.) for M with respect to some element \(a\in C(M)\) such that \(\{\) \(m\wedge a|\) \(m\in M\}\) is Boolean. If M is p.c. for \(a\in L\) then \(a\leq com(M)\) and CC(M) is p.c.
openaire +2 more sources