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 条

[41] FALLACIES IN PREDICATE LOGIC
BELL, D
[J]. MIND, 1971, 80 (317) : 145 - 147
[42] DYNAMIC PREDICATE LOGIC
GROENENDIJK, J
STOKHOF, M
[J]. LINGUISTICS AND PHILOSOPHY, 1991, 14 (01) : 39 - 100
[43] BISIMULATIONS AND PREDICATE LOGIC
FERNANDO, T
[J]. JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (03) : 924 - 944
[44] SUBJECT AND PREDICATE LOGIC
THERON, S
[J]. MODERN SCHOOLMAN, 1989, 66 (02): : 129 - 139
[45] ON DEONTIC PREDICATE LOGIC
PUGA, LZ
DACOSTA, NCA
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (04) : 1101 - 1102
[46] Coalgebraic Predicate Logic
Litak, Tadeusz
Pattinson, Dirk
Sano, Katsuhiko
Schroder, Lutz
[J]. AUTOMATA, LANGUAGES, AND PROGRAMMING, ICALP 2012, PT II, 2012, 7392 : 299 - 311
[47] Term Models of Horn Clauses over Rational Pavelka Predicate Logic
Costa, Vicent
Dellunde, Pilar
[J]. 2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, : 112 - 117
[48] Intuitionistic Logic As Epistemic Logic
Jaakko Hintikka
[J]. Synthese, 2001, 127 : 7 - 19
[49] Intuitionistic logic as epistemic logic
Hintikka, J
[J]. SYNTHESE, 2001, 127 (1-2) : 7 - 19
[50] Linear logic and intuitionistic logic
Okada, M
[J]. REVUE INTERNATIONALE DE PHILOSOPHIE, 2004, 58 (230) : 449 - 481

← 1 2 3 4 5 →