Dynamic effect algebras

DOI10.2478/S12175-012-0015-ZMaRDI QIDQ2883997zbMATH OpenOpenAlexFDO

Authors Miroslav Kolařík, Ivan Chajda

Publication date 14 May 2012

Published in Mathematica Slovaca (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/s12175-012-0015-z

zbMATH Keywords

effect algebratense operatorslattice effect algebradynamic effect algebra

Mathematics Subject Classification ID

Quantum logic (03G12) Other algebras related to logic (03G25) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Dynamic effect algebras and their representations
• A dynamic effect algebras with dual operation
• Galois connections and tense operators on q-effect algebras
• Tense operators on basic algebras
• How to produce S-tense operators on lattice effect algebras

Cited in

(22)

• Algebraic axiomatization of tense intuitionistic logic
• scientific article; zbMATH DE number 7536571 (Why is no real title available?)
• Tense Operators on BL-algebras and Their Applications
• Dynamic effect algebras and their representations
• Partial tense MV-algebras and related functions
• On tense MV-algebras
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Tense operators on basic algebras
• Dynamic order algebras as an axiomatization of modal and tense logics
• Spaces of abstract events
• Tense like equality algebras
• A topological approach to tense \(LM_{n \times m}\)-algebras
• Tense operators in fuzzy logic
• Subdirectly irreducible IKt-algebras
• De Morgan algebras with tense operators
• Galois connections and tense operators on q-effect algebras
• A dynamic effect algebras with dual operation
• Principal and Boolean congruences on \(IKt\)-algebras
• Dynamical method in algebra: Effective Nullstellensätze
• Tense operators on non-commutative residuated lattices
• How to produce S-tense operators on lattice effect algebras
• Algebraic structures formalizing the logic of effect algebras incorporating time dimension

This page was built for publication: Dynamic effect algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883997)