Published January 28, 2000
| Version v1
Journal article
Open
A Representation Theorem for Monadic Pavelka Algebras
Creators
- 1. Department of Fundamentals of Computer Science, Faculty of Mathematics, University of Bucharest, Bucharest, Romania
Description
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.
Files
jucs_article_27635.pdf
Files
(163.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:9fe60d85bdc1a66304d3124981639dd6
|
163.0 kB | Preview Download |