How to produce S-tense operators on lattice effect algebras (Q474876): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10701-014-9818-9 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2076909047 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representations of monadic MV-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: On tense MV-algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5445179 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4293522 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic models of deviant modal operators based on De Morgan and Kleene lattices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic effect algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic effect algebras and their representations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Basic decomposition of elements and Jauch-Piron effect algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic foundations of many-valued reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: The σ-complete MV-algebras which have enough states / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2762622 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tense operators on De Morgan algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effect algebras and unsharp quantum logics. / rank
 
Normal rank
Property / cites work
 
Property / cites work: A dynamic Effect Algebras with Dual Operation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Operators on MV-algebras and their representations. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Orthomodular structures as quantum logics. Transl. from the Slovak / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system / rank
 
Normal rank

Latest revision as of 08:01, 9 July 2024

scientific article
Language Label Description Also known as
English
How to produce S-tense operators on lattice effect algebras
scientific article

    Statements

    How to produce S-tense operators on lattice effect algebras (English)
    0 references
    0 references
    0 references
    0 references
    25 November 2014
    0 references
    The paper continues the study of tense operators on MV-algebras, published in [\textit{M. Botur} and \textit{J. Paseka}, ``On tense MV-algebras'', Fuzzy Sets Syst. (2014); {\url{doi:10.1016/j.fss.2014.06.006}}] and [\textit{J. Paseka}, Fuzzy Sets Syst. 232, 62--73 (2013; Zbl 1314.06016)] Here the results are extended to effect algebras. Effect algebras offer a very general representation of quantum events, using a partial operation \(+\) (disjunction of mutually excluding events) and orthosupplement (generalized negation)~\('\). In lattice effect algebras, we may use total operation \(x\oplus y=x+(y\land x')\) and its dual, \(x\odot y=(x'\oplus y')'\). Tense operators admit to introduce time and dynamics and express logical statements like ``it is always going to be the case that ...'' and ``it has always been the case that ...''. It is shown how tense operators can be constructed for a given time frame. The authors study also the inverse task, called a representation theorem: for given tense operators on an effect algebra, to find the respective time frame. The authors distinguish \textit{E-tense operators}, which preserve \(\oplus,\odot\) just as E-states, and \textit{S-tense operators}~\(G\), which, moreover, are interior operators, i.e., \(G(x)\leq x\), \(G(G(x))=x\). A \textit{state} is a finitely additive probability measure. If a state \(s\) on a lattice effect algebra satisfies \(s(x\oplus x)=s(x)\oplus s(x)\), resp. \(s(x)=1=s(y) \implies s(x\land y)=1\) , it is called an \textit{E-state}, resp. a \textit{Jauch-Piron state}. The E-states are extremal states, thus they do not form a convex set. Further, \textit{E-semi states} are studied; these are only subadditive and Jauch-Piron E-semi states are infima of sets of E-states. If an S-tense effect algebra \(E\) has an order reflecting (=order determining) set of E-states and all E-states are Jauch-Piron states, then \(E\) can be embedded into a tense MV-algebra. A representation theorem for such lattice effect algebras with E-tense operators is proved and demonstrated on an example.
    0 references
    0 references
    effect algebra
    0 references
    MV-algebra
    0 references
    complete lattice
    0 references
    tense operator
    0 references
    S-tense operator
    0 references
    Jauch-Piron E-state
    0 references
    Jauch-Piron E-semi-state
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references