|
|||||
|
|
States on Polyadic MV-algebras |
|
| Authors: | George Georgescu |
| Affiliation: | 1. Faculty of Mathematics and Computer Science, University of Bucharest, Academiei 14, 010014, Bucharest, RO, Romania |
| Abstract: | This paper is a contribution to the algebraic logic of probabilistic models of ?ukasiewicz predicate logic. We study the MV-states defined on polyadic MV-algebras and prove an algebraic many-valued version of Gaifman’s completeness theorem. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |