Probabilistic models for intuitionistic predicate logic

被引：1
|
作者：
Georgescu, George [1 ]
机构：
[1] Univ Bucharest, Fac Math & Comp Sci, Bucharest, Romania
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2011年 / 21卷 / 06期
关键词：
Probability; Heyting algebra; intuitionistic probability; Gaifman condition; STATES; REPRESENTATION;
D O I：
10.1093/logcom/exq033
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This article deals with some probabilistic model theory for intuitionistic predicate logic. We introduce the notions of intuitionistic probability, probabilistic structure for intuitionistic predicate logic and model of an intuitionistic probability. We prove a Gaifman-style completeness theorem: any intuitionistic probability has a weak probabilistic model.
引用
收藏
页码：1165 / 1176
页数：12
相关论文
共 50 条
  • [21] THE STABLE MODELS OF A PREDICATE LOGIC PROGRAM
    MAREK, VW
    NERODE, A
    REMMEL, JB
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1994, 21 (03): : 129 - 153
  • [22] ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
    STEPANOV, VI
    [J]. MATHEMATICS OF THE USSR-SBORNIK, 1983, 120 (1-2): : 223 - 235
  • [23] CRAIG INTERPOLATION THEOREM FAILS IN BI-INTUITIONISTIC PREDICATE LOGIC
    Olkhovikov, Grigory K.
    Badia, Guillermo
    [J]. REVIEW OF SYMBOLIC LOGIC, 2024, 17 (02): : 611 - 633
  • [24] SOME TOPOLOGICAL-SPACES WHICH ARE UNIVERSAL FOR INTUITIONISTIC PREDICATE LOGIC
    MOERDIJK, I
    [J]. PROCEEDINGS OF THE KONINKLIJKE NEDERLANDSE AKADEMIE VAN WETENSCHAPPEN SERIES A-MATHEMATICAL SCIENCES, 1982, 85 (02): : 227 - 235
  • [25] What Kinds of Connectives Cause the Difference Between Intuitionistic Predicate Logic and the Logic of Constant Domains?
    Matsuda, Naosuke
    Takagi, Kento
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2022, 2022, 13468 : 175 - 189
  • [26] CONSTANTS IN KRIPKE MODELS FOR INTUITIONISTIC LOGIC
    DZIERZGOWSKI, D
    [J]. MATHEMATICAL LOGIC QUARTERLY, 1995, 41 (04) : 431 - 441
  • [27] Bitopological models of intuitionistic epistemic logic
    Onoprienko, A. A.
    [J]. RUSSIAN MATHEMATICAL SURVEYS, 2024, 79 (01)
  • [28] Categorical and algebraic aspects of the intuitionistic modal logic IEL- and its predicate extensions
    Rogozin, Daniel
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (01) : 347 - 374
  • [29] Representation and transformation of substation models based on predicate logic
    Liu, Ming
    He, Guangyu
    Shen, Chen
    [J]. Dianli Xitong Zidonghua/Automation of Electric Power Systems, 2007, 31 (15): : 17 - 21
  • [30] Universal Models for the Positive Fragment of Intuitionistic Logic
    Bezhanishvili, Nick
    de Jongh, Dick
    Tzimoulis, Apostolos
    Zhao, Zhiguang
    [J]. LOGIC, LANGUAGE, AND COMPUTATION (TBILLC 2015), 2017, 10148 : 229 - 250
12345