Results 21 to 30 of about 813,495 (126)
Implication in Weakly and Dually Weakly Orthomodular Lattices [PDF]
Trends in Logic, 2020 Weakly orthomodular and dually weakly orthomodular lattices were introduced by the authors in a recent paper. Similarly as for orthomodular lattices we try to introduce an implication in these lattices which can be easily axiomatized and which yields a ...
I. Chajda, H. Langer
semanticscholar +1 more source
A Dagger Kernel Category of Complete Orthomodular Lattices [PDF]
International Journal of Theoretical PhysicsDagger kernel categories, a powerful framework for studying quantum phenomena within category theory, provide a rich mathematical structure that naturally encodes key aspects of quantum logic.
M. Botur, Jan Paseka, Richard Smolka
semanticscholar +1 more source
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
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
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
Orthomodular lattices can be converted into left residuated l-groupoids [PDF]
, 2018 We show that every orthomodular lattice can be considered as a left residuated l-groupoid satisfying divisibility, antitony, the double negation law and three more additional conditions expressed in the language of residuated structures. Also conversely,
I. Chajda, H. Langer
semanticscholar +1 more source
Bell-Type Inequalities for Bivariate Maps on Orthomodular Lattices [PDF]
Foundations of physics, 2015 Bell-type inequalities on orthomodular lattices, in which conjunctions of propositions are not modeled by meets but by maps for simultaneous measurements (s\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts ...
Jarosław Pykacz +2 more
semanticscholar +2 more sources