Effect algebras were introduced in order to describe the structure of effects, i.e. events in quantum mechanics. They are partial algebras describing the logic behind the corresponding events. It is natural to ask how to introduce the logical connective implication in effect algebras. For lattice-ordered effect algebras this task was already solved by several authors, including the present ones. We concentrate on effect algebras that need not be lattice-ordered since these can better describe the events occurring in the quantum physical system. Although an effect algebra is only partial, we try to find a logical connective implication which is everywhere defined. But such a connective can be “unsharp” or “inexact” because its outputs for given pairs of entries need not be elements of the underlying effect algebra, but may be subsets of (mutually incomparable) maximal elements. We introduce such an implication together with its adjoint functor representing conjunction. Then we consider so-called tense operators on effect algebras. Of course, also these operators turn out to be “unsharp” in the aforementioned sense, but they are in a certain relation with the operators implication and conjunction. Finally, for given tense operators and given time set T , we describe two methods how to construct a time preference relation R on T such that the given tense operators are either comparable with or equivalent to those induced by the time frame ( T , R ).
Inhalt
-
Open AccessAlgebraic structures formalizing the logic of effect algebras incorporating time dimension6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertWalks on tiled boardsLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertComposition on FLew-algebrasLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertOn high power sums of a hybrid arithmetic functionLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertOn indices of quintic number fields defined by x5 + ax + bLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertNote on fundamental system of solutions to the differential equations (D2 − 2Dα + α2 ± β2) y = 0Lizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertSeveral sharp inequalities involving (hyperbolic) tangent, tanc, cosine, and their reciprocalsLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertA new Approach of Generalized Fractional Integrals in Multiplicative Calculus and Related Hermite–Hadamard-Type Inequalities with ApplicationsLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertOn a periodic problem for super-linear second-order ODEsLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertExistence and Uniqueness of Solutions for Fractional Dynamic Equations with Impulse EffectsLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertPeriodic Solutions for Conformable Non-autonomous Non-instantaneous Impulsive Differential EquationsLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertSelf referred equations with an integral boundary conditionLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertApproximation by matrix means of double Vilenkin-Fourier seriesLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertMaps on self-adjoint operators preserving some relations related to commutativityLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertChains in the Rudin-Frolík orderLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertRelative versions of first and second countability in hyperspacesLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertProportion estimation in multistage pair ranked set samplingLizenziert6. Dezember 2024
-
Erfordert eine Authentifizierung Nicht lizenziertThe Marshall-Olkin Extended Gamma Lindley distribution: Properties, characterization and inferenceLizenziert6. Dezember 2024