States on Polyadic MV-algebras

被引：0
|
作者：
George Georgescu
机构：
[1] University of Bucharest,Faculty of Mathematics and Computer Science
来源：
Studia Logica | 2010年 / 94卷
关键词：
polyadic MV-state; Gaifman MV-model;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：231 / 243
页数：12
相关论文
共 50 条
  • [1] States on Polyadic MV-algebras
    Georgescu, George
    STUDIA LOGICA, 2010, 94 (02) : 231 - 243
  • [2] POLYADIC MV-ALGEBRAS
    SCHWARTZ, D
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (06): : 561 - 564
  • [3] Conservative extension of polyadic MV-algebras to polyadic pavelka algebras
    Dumitru Daniel Drăgulici
    Archive for Mathematical Logic, 2006, 45 : 601 - 613
  • [4] Conservative extension of polyadic MV-algebras to polyadic pavelka algebras
    Dragulici, Dumitru Daniel
    ARCHIVE FOR MATHEMATICAL LOGIC, 2006, 45 (05) : 601 - 613
  • [5] On States on MV-algebras and their Applications
    Dvurecenskij, Anatolij
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (03) : 407 - 427
  • [6] States on hyper MV-algebras
    Xin, Xiaolong
    He, Pengfei
    Fu, Yulong
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2016, 31 (03) : 1299 - 1309
  • [7] An algebraic approach to states on MV-algebras
    Flaminio, Tommaso
    Montagna, Franco
    NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL II, PROCEEDINGS, 2007, : 201 - 206
  • [8] Lexicographic MV-algebras and lexicographic states
    Diaconescu, Denisa
    Flaminio, Tommaso
    Leustean, Ioana
    FUZZY SETS AND SYSTEMS, 2014, 244 : 63 - 85
  • [9] Embedding of IF-States to MV-Algebras
    Riecan, Beloslav
    INTELLIGENT SYSTEMS'2014, VOL 1: MATHEMATICAL FOUNDATIONS, THEORY, ANALYSES, 2015, 322 : 157 - 162
  • [10] Representation and extension of states on MV-algebras
    TomአKroupa
    Archive for Mathematical Logic, 2006, 45 : 381 - 392
12345