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

effect algebrabasic algebracommutative basic 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

(29)

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

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)