A Representation Theorem for Monadic Pavelka Algebras
George Georgescu, Ioana Leuştean · Zenodo (CERN European Organization for Nuclear Research) · 2020
Abstract: In this paper we dene themonadic Pavelka algebras as algebraic structures induced by the action of quantiers in Rational Pavelka predicate logic. The main result is a representation theorem for these structures.