首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
A LOGICO-ALGEBRAIC APPROACH TO THE MODEL-THEORY OF KNOWLEDGE
被引:1
|
作者
:
ABDALLAH, MAN
论文数:
0
引用数:
0
h-index:
0
ABDALLAH, MAN
机构
:
来源
:
THEORETICAL COMPUTER SCIENCE
|
1989年
/ 66卷
/ 02期
关键词
:
D O I
:
10.1016/0304-3975(89)90135-7
中图分类号
:
TP301 [理论、方法];
学科分类号
:
081202 ;
摘要
:
引用
收藏
页码:205 / 232
页数:28
相关论文
共 50 条
[31]
REMARKS IN ABSTRACT MODEL-THEORY
SHELAH, S
论文数:
0
引用数:
0
h-index:
0
机构:
HEBREW UNIV JERUSALEM,INST ADV STUDIES,JERUSALEM,ISRAEL
HEBREW UNIV JERUSALEM,INST ADV STUDIES,JERUSALEM,ISRAEL
SHELAH, S
ANNALS OF PURE AND APPLIED LOGIC,
1985,
29
(03)
: 255
-
288
[32]
MODEL-THEORY FOR SPINODAL DECOMPOSITION
MAZENKO, GF
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CHICAGO,JAMES FRANCK INST,CHICAGO,IL 60637
MAZENKO, GF
VALLS, OT
论文数:
0
引用数:
0
h-index:
0
机构:
UNIV CHICAGO,JAMES FRANCK INST,CHICAGO,IL 60637
VALLS, OT
PHYSICAL REVIEW LETTERS,
1983,
51
(22)
: 2044
-
2047
[33]
A MODEL-THEORY FOR PROPOSITIONAL ATTITUDES
THOMASON, RH
论文数:
0
引用数:
0
h-index:
0
THOMASON, RH
LINGUISTICS AND PHILOSOPHY,
1980,
4
(01)
: 47
-
70
[34]
MENTAL MODEL-THEORY AND RATIONALITY
ENGEL, P
论文数:
0
引用数:
0
h-index:
0
机构:
CREA, Ecole Polytechnique
ENGEL, P
BEHAVIORAL AND BRAIN SCIENCES,
1993,
16
(02)
: 345
-
345
[35]
MODEL-THEORY UNDER THE AXIOM OF DETERMINATENESS
SPECTOR, M
论文数:
0
引用数:
0
h-index:
0
SPECTOR, M
JOURNAL OF SYMBOLIC LOGIC,
1985,
50
(03)
: 773
-
780
[36]
SOME MODEL-THEORY FOR GENERALIZED TREES
BASARAB, SA
论文数:
0
引用数:
0
h-index:
0
BASARAB, SA
JOURNAL OF PURE AND APPLIED ALGEBRA,
1989,
57
(02)
: 109
-
125
[37]
MODEL-THEORY ON THE DESIGN OF AN AIR SEPARATOR
ANASZEWSKI, J
论文数:
0
引用数:
0
h-index:
0
ANASZEWSKI, J
HOLDANOWICZ, J
论文数:
0
引用数:
0
h-index:
0
HOLDANOWICZ, J
MAKACEWICZ, S
论文数:
0
引用数:
0
h-index:
0
MAKACEWICZ, S
KUNSTSTOFFE-GERMAN PLASTICS,
1986,
76
(06):
: 534
-
537
[38]
ON A 3-VALUED MODEL-THEORY
DOTTAVIANO, IML
论文数:
0
引用数:
0
h-index:
0
DOTTAVIANO, IML
JOURNAL OF SYMBOLIC LOGIC,
1984,
49
(04)
: 1434
-
1434
[39]
MORE MODEL-THEORY OF FREE GROUPS
GAGLIONE, AM
论文数:
0
引用数:
0
h-index:
0
机构:
USN ACAD,DEPT MATH,ANNAPOLIS,MD 21402
USN ACAD,DEPT MATH,ANNAPOLIS,MD 21402
GAGLIONE, AM
SPELLMAN, D
论文数:
0
引用数:
0
h-index:
0
机构:
USN ACAD,DEPT MATH,ANNAPOLIS,MD 21402
USN ACAD,DEPT MATH,ANNAPOLIS,MD 21402
SPELLMAN, D
HOUSTON JOURNAL OF MATHEMATICS,
1995,
21
(02):
: 225
-
245
[40]
TARSKI,ALFRED WORK IN MODEL-THEORY
VAUGHT, RL
论文数:
0
引用数:
0
h-index:
0
VAUGHT, RL
JOURNAL OF SYMBOLIC LOGIC,
1986,
51
(04)
: 869
-
882
←
1
2
3
4
5
→