ON A 3-VALUED MODEL-THEORY

被引：0

|

作者：

DOTTAVIANO, IML

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1984年 / 49卷 / 04期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：1434 / 1434

页数：1

相关论文

共 50 条

[1] 3-VALUED MODEL FOR SET-THEORY
ROSE, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (05): : 437 - 440
[2] THEOREM IN 3-VALUED MODEL THEORY WITH CONNECTIONS TO NUMBER THEORY, TYPE THEORY, AND RELEVANT LOGIC
DUNN, JM
JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (03) : 615 - 616
[3] EASTERN MODEL-THEORY FOR BOOLEAN-VALUED THEORIES
GEORGESCU, G
VOICULESCU, I
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (01): : 79 - 88
[4] NATURAL 3-VALUED LOGICS - CHARACTERIZATION AND PROOF THEORY
AVRON, A
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 276 - 294
[5] 3-VALUED LOGIC
PUTNAM, H
PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
[6] EFFECTIVE MODEL-THEORY VS RECURSIVE MODEL-THEORY
CHISHOLM, J
JOURNAL OF SYMBOLIC LOGIC, 1990, 55 (03) : 1168 - 1191
[7] MORLEY CATEGORICITY THEOREM FOR LATTICE-VALUED MODEL-THEORY
SHEN, YF
KEXUE TONGBAO, 1988, 33 (22): : 1841 - 1844
[8] 3-VALUED REPRESENTATIVE SYSTEMS
FISHBURN, PC
MATHEMATICAL SYSTEMS THEORY, 1975, 9 (03): : 265 - 280
[9] A 3-VALUED WAKEUP PROTOCOL
VALOIS, JD
INFORMATION PROCESSING LETTERS, 1995, 55 (02) : 89 - 93
[10] 3-VALUED DIGITAL SYSTEMS
PORAT, DI
PROCEEDINGS OF THE INSTITUTION OF ELECTRICAL ENGINEERS-LONDON, 1969, 116 (06): : 947 - +

← 1 2 3 4 5 →