Tense operators on basic algebras

DOI10.1007/S10773-011-0748-4MaRDI QIDQ429927zbMATH OpenOpenAlexFDO

Authors Michal Botur, Ivan Chajda, Radomír Halaš, Miroslav Kolařík

Publication date 20 June 2012

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10773-011-0748-4

zbMATH Keywords

basic algebracommutative basic algebraeffect algebraleft-monotonous algebratense operator

Mathematics Subject Classification ID

Other algebras related to logic (03G25) BCK-algebras, BCI-algebras (06F35) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Dynamic effect algebras
• Tense operators on De Morgan algebras
• Galois connections and tense operators on q-effect algebras
• Dynamic effect algebras and their representations
• A dynamic effect algebras with dual operation

Cites work

• An example of a commutative basic algebra which is not an MV-algebra
• Are basic algebras residuated structures?
• Commutative basic algebras and non-associative fuzzy logics
• Complete commutative basic algebras
• Finite commutative basic algebras are MV-effect algebras
• Independence of axiom system of basic algebras
• Many-valued quantum algebras
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras

Cited in

(31)

• Tense operators in fuzzy logic
• Galois connections and tense operators on q-effect algebras
• Subdirectly irreducible IKt-algebras
• Partial tense MV-algebras and related functions
• Tense operators on non-commutative residuated lattices
• Principal and Boolean congruences on IKt-algebras
• An algebraic study of tense operators on Nelson algebras
• A categorical equivalence for tense Nelson algebras
• A topological duality for tense \(\theta\)-valued Łukasiewicz-Moisil algebras
• Dynamic effect algebras and their representations
• Atoms of tense algebras
• On tense MV-algebras
• Algebraic approach to tense operators
• Dynamic effect algebras
• Tense operators on spaces of numerical events
• A dynamic effect algebras with dual operation
• scientific article; zbMATH DE number 1416396 (Why is no real title available?)
• De Morgan algebras with tense operators
• Tense operators ``until and ``since on residuated lattices
• Tense like equality algebras
• A topological approach to tense \(LM_{n \times m}\)-algebras
• Tense operators on De Morgan algebras
• Modal operators on pseudo-BE algebras
• Simple and subdirectly irreducible tense LM_-algebras
• Tense Operators on BL-algebras and Their Applications
• Algebraic axiomatization of tense intuitionistic logic
• Operators on Pavelka's algebras induced by fuzzy relations
• On tense bounded Hilbert algebras with supremum
• Algebraic structures formalizing the logic of quantum mechanics incorporating time dimension
• An algebraic axiomatization of the Ewald's intuitionistic tense logic
• Dynamic order algebras as an axiomatization of modal and tense logics

This page was built for publication: Tense operators on basic algebras

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