×

zbMATH — the first resource for mathematics

A representation theorem for monadic Pavelka algebras. (English) Zbl 0963.03088
Summary: We define the monadic Pavelka algebras as algebraic structures induced by the action of quantifiers in rational Pavelka predicate logic. The main result is a representation theorem for these structures.

MSC:
03G25 Other algebras related to logic
03B50 Many-valued logic
06D35 MV-algebras
PDF BibTeX XML Cite
Full Text: Link