It is shown that every effect algebra with a full set of states can be represented as a so-called numerical algebra introduced in the paper. For numerical algebras there are introduced tense operators which indicate dynamical changes of quantum events depending on variability of states. These operators enable to recognize an effect algebra with a full set of states as a temporal logic where events are quantified by these tense operators. The problem of representation of tense operators on a given numerical algebra is solved.
Inhalt
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertEffect algebras with a full set of statesLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertAn approach to orthomodular lattices via lattices with an antitone involutionLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn properties of the free BCI-algebra with one generatorLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertThe generalized order-k Narayana's cows numbersLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertThe irrationality of infinite series of a special kindLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn skew-commuting mappings in semiprime ringsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn the subordination and superordination of strongly starlike functionsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn a subclass of analytic functions involving Sălăgean integral operatorLizenziert28. Oktober 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertUniqueness of meromorphic functions sharing a value or small functionLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertA new inclusion for Bavrin's families of holomorphic functions in n-circular domainsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOscillation of nonlinear fourth order mixed neutral differential equationsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOscillation results for third order nonlinear mixed neutral differential equationsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertHomoclinic solutions for second order Hamiltonian systems with general potentialsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertA class of fractional impulsive functional differential equations with nonlocal conditionsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertThe weighted reverse poincaré type inequality for the difference of two parabolic subsolutionsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn the well posed solutions for nonlinear second order neutral difference equationsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertSome approximation results for operators of Szász-Mirakjan-Durrmeyer typeLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn the geometry of conditional expectations treated as projections on the L2-spaceLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertSpectral problems of nonself-adjoint singular discrete Sturm-Liouville operatorsLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertA necessary condition for the Smith equivalence of G-modules and its sufficiencyLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertOn the internal approach to differential equations. 1. The involutiveness and standard basisLizenziert3. November 2016
- Research Article
-
Erfordert eine Authentifizierung Nicht lizenziertLaw of inertia for the factorization of cubic polynomials — the case of discriminants divisible by threeLizenziert3. November 2016