Dynamic effect algebras and their representations

DOI10.1007/s00500-012-0857-xzbMath1318.03059OpenAlexW2050403648MaRDI QIDQ2392562

Jan Paseka, Ivan Chajda

Publication date: 1 August 2013

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-012-0857-x

zbMATH Keywords

effect algebralattice effect algebratense operatorsdynamic effect algebra

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Quantum logic (03G12)

Related Items (15)

On tense MV-algebras ⋮ Tense operators in fuzzy logic ⋮ Galois connections and tense operators on q-effect algebras ⋮ Subdirectly irreducible IKt-algebras ⋮ Unnamed Item ⋮ An algebraic axiomatization of the Ewald's intuitionistic tense logic ⋮ Partial tense MV-algebras and related functions ⋮ Dynamic order algebras as an axiomatization of modal and tense logics ⋮ A Topological Approach to Tense LMn×m-Algebras ⋮ Tense operators on spaces of numerical events ⋮ How to produce S-tense operators on lattice effect algebras ⋮ Transition operators assigned to physical systems ⋮ Operators on Pavelka's algebras induced by fuzzy relations ⋮ Dynamic logic assigned to automata ⋮ Principal and Boolean congruences on \(IKt\)-algebras

Cites Work

• Many-valued quantum algebras
• Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
• Dynamic effect algebras
• MacNeille completion of centers and centers of MacNeille completions of lattice effect algebras: Generic scheme behind
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic effect algebras and their representations