THEOREM IN 3-VALUED MODEL THEORY WITH CONNECTIONS TO NUMBER THEORY, TYPE THEORY, AND RELEVANT LOGIC

被引：0

|

作者：

DUNN, JM

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1978年 / 43卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：615 / 616

页数：2

相关论文

共 50 条

[1] ON A 3-VALUED MODEL-THEORY
DOTTAVIANO, IML
JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1434 - 1434
[2] 3-VALUED MODEL FOR SET-THEORY
ROSE, A
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (05): : 437 - 440
[3] THEORY OF α-TRUTH DEGREES IN 3-VALUED PRE-ROUGH LOGIC
Ma, Yingcang
Wang, Lu
Liu, Huan
Wang, Xiaogai
2012 IEEE 2ND INTERNATIONAL CONFERENCE ON CLOUD COMPUTING AND INTELLIGENT SYSTEMS (CCIS) VOLS 1-3, 2012, : 936 - 940
[4] MIZAR AND A COMPUTER-SUPPORTED PROOF THEORY IN THE 3-VALUED LOGIC PPC
HOOGEWIJS, A
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 846 - 846
[5] NATURAL 3-VALUED LOGICS - CHARACTERIZATION AND PROOF THEORY
AVRON, A
JOURNAL OF SYMBOLIC LOGIC, 1991, 56 (01) : 276 - 294
[6] Truth Degrees Theory and Approximate Reasoning in 3-Valued Propositional Pre-Rough Logic
Ma, Yingcang
Zhang, Juanjuan
Liu, Huan
JOURNAL OF APPLIED MATHEMATICS, 2013,
[7] CRAIG-LYNDON INTERPOLATION THEOREM IN 3-VALUED LOGIC
ROCKINGHAMGILL, RR
JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (02) : 230 - +
[8] LOGIC IN THE 1930s: TYPE THEORY AND MODEL THEORY
Schiemer, Georg
Reck, Erich H.
BULLETIN OF SYMBOLIC LOGIC, 2013, 19 (04) : 433 - 472
[9] Relevant logic and the theory of information
Mares, ED
SYNTHESE, 1996, 109 (03) : 345 - 360
[10] ON THE 3 SERIES THEOREM IN NUMBER-THEORY
DELACAL, J
ANNALS OF PROBABILITY, 1989, 17 (01): : 357 - 361

← 1 2 3 4 5 →