Results 61 to 70 of about 672,721 (195)
The logic of causally closed spacetime subsets
, 2002 The causal structure of space-time offers a natural notion of an opposite or orthogonal in the logical sense, where the opposite of a set is formed by all points non time-like related with it.
Casini, H.
core +2 more sources
Sharply Orthocomplete Effect Algebras [PDF]
, 2010 Special types of effect algebras $E$ called sharply dominating and S-dominating were introduced by S. Gudder in \cite{gudder1,gudder2}. We prove statements about connections between sharp orthocompleteness, sharp dominancy and completeness of $E$. Namely
Kalina, Martin +2 more
core +3 more sources
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 +3 more sources
, 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
Quantum axiomatics and a theorem of M.P. Soler [PDF]
, 2000 Three of the traditional quantum axioms (orthocomplementation, orthomodularity and the covering law) show incompatibilities with two products introduced by Aerts for the description of joint entities.
Aerts, Diederik, Van Steirteghem, Bart
core +2 more sources
A presentation of Quantum Logic based on an "and then" connective
, 2007 When a physicist performs a quantic measurement, new information about the system at hand is gathered. This paper studies the logical properties of how this new information is combined with previous information.
Lehmann, Daniel
core +1 more source
An axiomatic basis for quantum mechanics
, 2015 In this paper we use the framework of generalized probabilistic theories to present two sets of basic assumptions, called axioms, for which we show that they lead to the Hilbert space formulation of quantum mechanics.
Cassinelli, Gianni, Lahti, Pekka
core +1 more source
Two Remarks to Bifullness of Centers of Archimedean Atomic Lattice Effect Algebras
Acta Polytechnica, 2011 Lattice effect algebras generalize orthomodular lattices as well as MV-algebras. This means that within lattice effect algebras it is possible to model such effects as unsharpness (fuzziness) and/or non-compatibility. The main problem is the existence of
M. Kalina
doaj
Pattern Recognition In Non-Kolmogorovian Structures
, 2017 We present a generalization of the problem of pattern recognition to arbitrary probabilistic models. This version deals with the problem of recognizing an individual pattern among a family of different species or classes of objects which obey ...
Freytes, Hector +3 more
core +1 more source
, 2010 There are five known classes of lattice equations that hold in every infinite dimensional Hilbert space underlying quantum systems: generalised orthoarguesian, Mayet's E_A, Godowski, Mayet-Godowski, and Mayet's E equations. We obtain a result which opens
A.R. Swift +29 more
core +1 more source