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.
Contents
- Research Article
-
Requires Authentication UnlicensedEffect algebras with a full set of statesLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedAn approach to orthomodular lattices via lattices with an antitone involutionLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn properties of the free BCI-algebra with one generatorLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedThe generalized order-k Narayana's cows numbersLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedThe irrationality of infinite series of a special kindLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn skew-commuting mappings in semiprime ringsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn the subordination and superordination of strongly starlike functionsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn a subclass of analytic functions involving Sălăgean integral operatorLicensedOctober 28, 2016
- Research Article
-
Requires Authentication UnlicensedUniqueness of meromorphic functions sharing a value or small functionLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedA new inclusion for Bavrin's families of holomorphic functions in n-circular domainsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOscillation of nonlinear fourth order mixed neutral differential equationsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOscillation results for third order nonlinear mixed neutral differential equationsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedHomoclinic solutions for second order Hamiltonian systems with general potentialsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedA class of fractional impulsive functional differential equations with nonlocal conditionsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedThe weighted reverse poincaré type inequality for the difference of two parabolic subsolutionsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn the well posed solutions for nonlinear second order neutral difference equationsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedSome approximation results for operators of Szász-Mirakjan-Durrmeyer typeLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn the geometry of conditional expectations treated as projections on the L2-spaceLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedSpectral problems of nonself-adjoint singular discrete Sturm-Liouville operatorsLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedA necessary condition for the Smith equivalence of G-modules and its sufficiencyLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedOn the internal approach to differential equations. 1. The involutiveness and standard basisLicensedNovember 3, 2016
- Research Article
-
Requires Authentication UnlicensedLaw of inertia for the factorization of cubic polynomials — the case of discriminants divisible by threeLicensedNovember 3, 2016