A DEFINITIVE" PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC

被引：1

作者：

BENDALL, K

机构：

来源：

关键词：

D O I：

10.1007/BF00293430

中图分类号：

B81 [逻辑学（论理学）];

学科分类号：

010104 ; 010105 ;

摘要：

引用

页码：255 / 278

页数：24

共 50 条

[1] PROBABILISTIC SEMANTICS FOR 1ST-ORDER LOGIC
LEBLANC, H
[J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1979, 25 (06): : 497 - 509
[2] A NEW SEMANTICS FOR 1ST-ORDER LOGIC, MULTIVALENT AND MOSTLY INTENSIONAL
LEBLANC, H
[J]. TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 1984, 3 (01): : 55 - 62
[3] HILOG - A 1ST-ORDER SEMANTICS FOR HIGHER-ORDER LOGIC PROGRAMMING CONSTRUCTS
CHEN, WD
KIFER, M
WARREN, DS
[J]. LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 1090 - 1114
[4] BELIEF-THEORETIC FORMAL SEMANTICS FOR 1ST-ORDER LOGIC AND PROBABILITY
BENDALL, K
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1979, 8 (04) : 375 - 397
[5] A FULLY ABSTRACT SEMANTICS FOR A 1ST-ORDER FUNCTIONAL LANGUAGE WITH LOGIC VARIABLES
JAGADEESAN, R
PINGALI, K
PANANGADEN, P
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (04): : 577 - 625
[6] GENERALIZATION OF THE 1ST-ORDER LOGIC
FERENCZI, M
[J]. PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, 1978, 22 (2-3): : 157 - 170
[7] 1ST-ORDER PROGRAMMING LOGIC
GERGELY, T
URY, L
[J]. JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 844 - 844
[8] 1ST-ORDER UNIFORM AND INDEFINITE SEMANTICS
VANDERNAT, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 371 - 372
[9] 1ST-ORDER SEMANTICS FOR HIGHER-ORDER LANGUAGES
KASBAUER, M
[J]. CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA, 1977, 9 (25): : 59 - 71
[10] FORMAL LANGUAGES AND 1ST-ORDER LOGIC
THOMAS, W
[J]. JOURNAL OF SYMBOLIC LOGIC, 1987, 52 (01) : 303 - 303