FIXED-POINT EXTENSIONS OF 1ST-ORDER LOGIC

被引：108

|

作者：

GUREVICH, Y

SHELAH, S

机构：

[1] UNIV MICHIGAN,DEPT MATH,ANN ARBOR,MI 48109

[2] HEBREW UNIV JERUSALEM,INST MATH & COMP SCI,IL-91904 JERUSALEM,ISRAEL

来源：

ANNALS OF PURE AND APPLIED LOGIC | 1986年 / 32卷 / 03期

关键词：

D O I：

10.1016/0168-0072(86)90055-2

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

收藏

页码：265 / 280

页数：16

相关论文

共 50 条

[31] A fixed-point semantics for Plausible Logic
Billington, D
[J]. AI 2005: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2005, 3809 : 812 - 815
[32] EXTENSIONS OF A FIXED-POINT THEOREM OF MEIR AND KEELER
PARK, S
BAE, JS
[J]. ARKIV FOR MATEMATIK, 1981, 19 (02): : 223 - 228
[33] SOME EXTENSIONS OF KRASNOSELSKII FIXED-POINT THEOREMS
MELVIN, WR
[J]. JOURNAL OF DIFFERENTIAL EQUATIONS, 1972, 11 (02) : 335 - &
[34] A fixed-point logic with symmetric choice
Dawar, A
Richerby, D
[J]. COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 169 - 182
[35] EXTENSIONS OF A FIXED-POINT THEOREM OF NAIMPALLY AND SINGH
PATHAK, HK
DUBEY, RP
[J]. INDIAN JOURNAL OF PURE & APPLIED MATHEMATICS, 1990, 21 (10): : 889 - 891
[36] EXTENSIONS OF SOME FIXED-POINT THEOREMS OF RHOADES
NAIMPALLY, SA
SINGH, KL
[J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1983, 96 (02) : 437 - 446
[37] FRAGMENTS OF 1ST-ORDER LOGIC .1. UNIVERSAL HORN LOGIC
MCNULTY, GF
[J]. JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (02) : 221 - 237
[38] EXTENSIONS OF FIXED-POINT THEOREMS OF RHOADES AND CIRIC
PAL, TK
MAITI, M
[J]. PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1977, 64 (02) : 283 - 286
[39] CLAUSAL INTUITIONISTIC LOGIC .1. FIXED-POINT SEMANTICS
MCCARTY, LT
[J]. JOURNAL OF LOGIC PROGRAMMING, 1988, 5 (01): : 1 - 31
[40] A COMPLETENESS THEOREM OF 1ST-ORDER TEMPORAL LOGIC WITH EQUALITY
TANG, TG
[J]. SCIENTIA SINICA SERIES A-MATHEMATICAL PHYSICAL ASTRONOMICAL & TECHNICAL SCIENCES, 1985, 28 (05): : 532 - 540

← 1 2 3 4 5 →