6533b835fe1ef96bd129e945

RESEARCH PRODUCT

On monadic quantale algebras: basic properties and representation theorems

Sergey A. Solovyov

subject

Algebra and Number TheoryAlgebraic structureApplied MathematicsQuantaleAlgebraMathematics::LogicInterior algebraDistributive propertyComputer Science::Logic in Computer ScienceMathematics::Category TheoryBounded functionLattice (order)QuantaloidMathematics

description

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new structures.

https://doi.org/10.7151/dmgaa.1164