Partially Undetermined Many-Valued Events and Their Conditional Probability

被引：2
|
作者：
Montagna, Franco [1 ]
机构：
[1] Univ Siena, Dept Math & Comp Sci, I-5100 Siena, Italy
来源：
JOURNAL OF PHILOSOPHICAL LOGIC | 2012年 / 41卷 / 03期
关键词：
Many-valued logic; Conditional probability; States; MV-ALGEBRAS; FUZZY LOGICS; STATES;
D O I：
10.1007/s10992-011-9185-3
中图分类号：
B81 [逻辑学（论理学）];
学科分类号：
010104 ; 010105 ;
摘要：
A logic for classical conditional events was investigated by Dubois and Prade. In their approach, the truth value of a conditional event may be undetermined. In this paper we extend the treatment to many-valued events. Then we support the thesis that probability over partially undetermined events is a conditional probability, and we interpret it in terms of bets in the style of de Finetti. Finally, we show that the whole investigation can be carried out in a logical and algebraic setting, and we find a logical characterization of coherence for assessments of partially undetermined events.
引用
收藏
页码：563 / 593
页数：31
相关论文
共 50 条
  • [41] Sufficient triangular norms in many-valued logics with standard negation
    Dan Butnariu
    Erich Peter Klement
    Radko Mesiar
    Mirko Navara
    Archive for Mathematical Logic, 2005, 44 : 829 - 849
  • [42] MANY-VALUED MULTI-MODAL LOGICS, SATISFIABILITY PROBLEM
    Moor, Michael Alexandrovich
    Rybakov, Vladimir Vladimirovich
    SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2018, 15 : 829 - 838
  • [43] Supersound many-valued logics and Dedekind-MacNeille completions
    Bianchi, Matteo
    Montagna, Franco
    ARCHIVE FOR MATHEMATICAL LOGIC, 2009, 48 (08): : 719 - 736
  • [44] Many-valued judgment aggregation: Characterizing the possibility/impossibility boundary
    Duddy, Conal
    Piggins, Ashley
    JOURNAL OF ECONOMIC THEORY, 2013, 148 (02) : 793 - 805
  • [45] Quine-McCluskey method for many-valued logical functions
    Petrik, Milan
    SOFT COMPUTING, 2008, 12 (04) : 393 - 402
  • [46] Many-valued logic, partiality, and abstraction in formal specification languages
    Haehnle, Reiner
    LOGIC JOURNAL OF THE IGPL, 2005, 13 (04) : 415 - 433
  • [47] A temporal many-valued logic for real time control systems
    Escalada-Imaz, G
    ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, 2000, 1904 : 91 - 100
  • [48] Proof theory for locally finite many-valued logics: Semi-projective logics
    Ciabattoni, Agata
    Montagna, Franco
    THEORETICAL COMPUTER SCIENCE, 2013, 480 : 26 - 42
  • [49] The dynamics of interaction of reflexive subjects operating with the two-valued versus many-valued logic
    Sawa, Koji
    Igamberdiev, Abir U.
    PROGRESS IN BIOPHYSICS & MOLECULAR BIOLOGY, 2017, 131 : 348 - 353
  • [50] Franco Montagna’s Work on Provability Logic and Many-valued Logic
    Lev Beklemishev
    Tommaso Flaminio
    Studia Logica, 2016, 104 : 1 - 46
12345