|
A Representation Theorem for Monadic Pavelka Algebras
George Georgescu (Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest, Romania)
Ioana Leustean (Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest, Romania)
Abstract: In this paper 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.
1 C.S.Calude and G.Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift.
Keywords: MV-algebra, Pavelka algebra, monadic Pavelka algebra, monadic V-algebra
Categories: F.4.1
|
