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.
机构:
Univ Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, ItalyUniv Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, Italy
Di Nola, Antonio
Lenzi, Giacomo
论文数: 0引用数: 0
h-index: 0
机构:
Univ Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, ItalyUniv Salerno, Dept Math, Via Giovanni Paolo 2 132, I-84084 Fisciano, SA, Italy
Lenzi, Giacomo
2017 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS (FUZZ-IEEE),
2017,