Conservative extension of polyadic MV-algebras to polyadic pavelka algebras |
| |
Authors: | Dumitru Daniel Dr?gulici |
| |
Institution: | (1) Faculty of Mathematics, Department of Foundamentals of Computer Science, University of Bucharest, Str. Academiei 14, Bucharest, Romania |
| |
Abstract: | In this paper we prove polyadic counterparts of the Hájek, Paris and Shepherdson's conservative extension theorems of Łukasiewicz
predicate logic to rational Pavelka predicate logic. We also discuss the algebraic correspondents of the provability and truth
degree for polyadic MV-algebras and prove a representation theorem similar to the one for polyadic Pavelka algebras. |
| |
Keywords: | 03G15 03B50 |
本文献已被 SpringerLink 等数据库收录! |
|