Averaging the truth value of formulas in Godel logic

被引：0
|
作者：
Aguzzoli, Stefano [1 ]
Gerla, Brunella [2 ]
机构：
[1] Univ Milan, Dipartimento Informat, Milan, Italy
[2] Univ Insubria, Dipartimento Sci Teor & Applicate, Varese, Italy
来源：
2023 IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, FUZZ | 2023年
关键词：
AUTOMORPHISM GROUP; FREE ALGEBRAS; STATES;
D O I：
10.1109/FUZZ52849.2023.10309744
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Let L be a propositional mathematical fuzzy logic with the real unit interval [0; 1] as its set of truth values. Assume that L has an algebraic semantics given by a variety V of algebras. A finitely additive probability measure (or, state) over the free n-generated V-algebra provides an average value over all assignments of a formula with n many variables in L only if this measure is invariant with respect to automorphisms of the free algebra. In this paper we characterise the states that are invariant with respect to automorphisms of the free n-generated Godel algebra.
引用
收藏
页数：6
相关论文
共 50 条
  • [41] An analysis of Ruspini partitions in Godel logic
    Codara, Pietro
    D'Antona, Ottavio M.
    Marra, Vincenzo
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2009, 50 (06) : 825 - 836
  • [42] Theory of truth degrees of formulas in Łukasiewiczn-valued propositional logic and a limit theorem
    Bijing Li
    Guojun Wang
    Science in China Series F: Information Sciences, 2005, 48 : 727 - 736
  • [43] Kurt Godel and the Foundations of Mathematics: Horizons of Truth
    Mancosu, Paolo
    ISIS, 2012, 103 (02) : 383 - 384
  • [44] Kurt Godel and the Foundations of Mathematics: Horizons of Truth
    Smith, Peter
    PHILOSOPHIA MATHEMATICA, 2012, 20 (02) : 260 - 266
  • [45] On Logic Embeddings and Godel's God
    Benzmueller, Christoph
    Paleo, Bruno Woltzenlogel
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES (WADT 2014), 2015, 9463 : 3 - 6
  • [46] The Demons of Godel. Logic and foolishness
    Zalamea, Fernando
    BOLETIN DE MATEMATICAS, 2009, 16 (01): : 79 - 81
  • [47] A DPLL PROCEDURE FOR THE PROPOSITIONAL GODEL LOGIC
    Guller, Dusan
    ICFC 2010/ ICNC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON FUZZY COMPUTATION AND INTERNATIONAL CONFERENCE ON NEURAL COMPUTATION, 2010, : 31 - 42
  • [48] The Euler Characteristic of a Formula in Godel Logic
    Codara, Pietro
    D'Antona, Ottavio M.
    Marra, Vincenzo
    40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 108 - 112
  • [49] A Resolution Mechanism for Prenex Godel Logic
    Baaz, Matthias
    Fermueller, Christian G.
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 67 - 79
  • [50] Proof Systems for a Godel Modal Logic
    Metcalfe, George
    Olivetti, Nicola
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2009, 5607 : 265 - +
12345