Results 31 to 40 of about 1,603 (177)
On the properties of spectral effect algebras [PDF]
Quantum, 2019 The aim of this paper is to show that there can be either only one or uncountably many contexts in any spectral effect algebra, answering a question posed in [S. Gudder, Convex and Sequential Effect Algebras, (2018), arXiv:1802.01265].
Anna Jenčová, Martin Plávala
doaj +1 more source
Sequent Calculus Representations for Quantum Circuits [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 When considering a sequent-style proof system for quantum programs, there are certain elements of quantum mechanics that we may wish to capture, such as phase, dynamics of unitary transformations, and measurement probabilities. Traditional quantum logics
Cameron Beebe
doaj +1 more source
A Topological Study of Contextuality and Modality in Quantum Mechanics [PDF]
, 2006 Kochen-Specker theorem rules out the non-contextual assignment of values to physical magnitudes. Here we enrich the usual orthomodular structure of quantum mechanical propositions with modal operators.
B.C. Fraassen van +22 more
core +2 more sources
Matrices over orthomodular lattices [PDF]
Glasgow Mathematical Journal, 1969 In this paper elementary properties are established for matrices whose coordinates are elements of a lattice L. In particular, many of the results of Luce [4] are extended to the case where L is an orthomodular lattice, a lattice with an orthocomplementation denoted by in which a ≦ b ⇒ a ∨(a′ ∧ b) = b.
Jean H. Bevis
openalex +3 more sources
Kadison’s antilattice theorem for a synaptic algebra
Demonstratio Mathematica, 2018 We prove that if A is a synaptic algebra and the orthomodular lattice P of projections in A is complete, then A is a factor if and only if A is an antilattice.We also generalize several other results of R.
Foulis David J., Pulmannová Sylvia
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 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 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