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 条

[1] A translation of intuitionistic predicate logic into basic predicate logic
Ardeshir M.
[J]. Studia Logica, 1999, 62 (3) : 341 - 352
[2] INTUITIONISTIC COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC
VELDMAN, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 159 - 166
[3] From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Abiri, Maryam
Moniri, Morteza
Zaare, Mostafa
[J]. LOGIC JOURNAL OF THE IGPL, 2018, 26 (05) : 464 - 474
[4] AN INTERPRETATION OF INTUITIONISTIC PREDICATE LOGIC IN MODAL LOGIC
PRAWITZ, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 565 - &
[5] A COMPLETENESS THEOREM FOR INTUITIONISTIC PREDICATE LOGIC - AN INTUITIONISTIC PROOF
DRAGALIN, AG
[J]. PUBLICATIONES MATHEMATICAE-DEBRECEN, 1987, 34 (1-2): : 1 - 19
[6] SOME RESULTS ON INTUITIONISTIC PREDICATE LOGIC
ACZEL, PHG
[J]. JOURNAL OF SYMBOLIC LOGIC, 1967, 32 (04) : 556 - &
[7] Tableau for intuitionistic predicate logic as metatheory
Underwood, J
[J]. THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1995, 918 : 138 - 153
[8] Interpolation theorems for intuitionistic predicate logic
Mints, G
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2002, 113 (1-3) : 225 - 242
[9] AN IMPROVED REFUTATION SYSTEM FOR INTUITIONISTIC PREDICATE LOGIC
MIGLIOLI, P
MOSCATO, U
ORNAGHI, M
[J]. JOURNAL OF AUTOMATED REASONING, 1994, 13 (03) : 361 - 373
[10] An Intuitionistic Completeness Theorem for Classical Predicate Logic
Victor N. Krivtsov
[J]. Studia Logica, 2010, 96 : 109 - 115

← 1 2 3 4 5 →