A Representation Theorem for Monadic Pavelka Algebras
Дата
Авторы
Georgescu,George
Leustean,Ioana
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.
Ключевые слова
Pavelka algebra , monadic Pavelka algebra , MV-algebra , monadic V-algebra