Results 31 to 40 of about 1,569 (137)
Semilattices global valuations in the topos approach to quantum mechanics [PDF]
, 2017 In the framework of the topos approach to quantum mechanics a kind of global valuation is introduced and studied. It allows us to represent certain features related to the logical consequences of properties about quantum systems when its phase space is ...
de Ronde, Christian +2 more
core +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
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
Modularity, Atomicity and States in Archimedean Lattice Effect Algebras [PDF]
, 2010 Effect algebras are a generalization of many structures which arise in quantum physics and in mathematical economics. We show that, in every modular Archimedean atomic lattice effect algebra $E$ that is not an orthomodular lattice there exists an $(o ...
Paseka, Jan
core +4 more sources
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
, 2020 We investigate the first-order theory of closed subspaces of complex Hilbert spaces in the signature $(\lor,\perp,0,1)$, where `$\perp$' is the orthogonality relation.
Fritz, Tobias
core +1 more source
A priori Knowledge and the Kochen-Specker Theorem [PDF]
, 2006 We introduce and formalize a notion of "a priori knowledge" about a quantum system, and show some properties about this form of knowledge. Finally, we show that the Kochen-Specker theorem follows directly from this study. This version is a draft version,
Calude +4 more
core +5 more sources
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
Categoricity and Possibility. A Note on Williamson's Modal Monism [PDF]
, 2020 The paper sketches an argument against modal monism, more specifically against the reduction of physical possibility to metaphysical possibility.
Toader, Iulian D.
core