REFERENTIAL PRESUPPOSITION WITHIN BLAU,ULRICH 3-VALUED LOGIC SYSTEM

被引：0

作者：

MIODUSZEWSKA, E

机构：

来源：

关键词：

D O I：

10.1515/thli.1984.11.3.251

中图分类号：

H0 [语言学];

学科分类号：

030303 ; 0501 ; 050102 ;

摘要：

引用

页码：251 / 268

页数：18

共 50 条

[1] 3-VALUED LOGIC
PUTNAM, H
[J]. PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
[2] ARGUMENTS IN 3-VALUED LOGIC
WOODRUFF, PW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 637 - &
[3] PROGRAMMING IN 3-VALUED LOGIC
DELAHAYE, JP
THIBAU, V
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 189 - 216
[4] TREES FOR A 3-VALUED LOGIC
JOHNSON, F
[J]. ANALYSIS, 1984, 44 (01) : 43 - 46
[5] CONSTRUCTIVE 3-VALUED LOGIC
WOODRUFF, PW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &
[6] INTUITIONISTIC 3-VALUED LOGIC AND LOGIC PROGRAMMING
VAUZEILLES, J
STRAUSS, A
[J]. RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1991, 25 (06): : 557 - 587
[7] MEDIUM LOGIC AND WOODRUFF 3-VALUED LOGIC
LI, X
LI, GY
[J]. CHINESE SCIENCE BULLETIN, 1990, 35 (08): : 622 - 626
[8] NOTE ON 3-VALUED LOGIC SIMULATION
BREUER, MA
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (04) : 399 - &
[9] MONADIC FUNCTORS IN A 3-VALUED LOGIC
SADE, AJ
[J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1969, 16 (03): : 579 - &
[10] CLASSICAL, INTUITIONISTIC OR 3-VALUED LOGIC
HINST, P
[J]. ZEITSCHRIFT FUR PHILOSOPHISCHE FORSCHUNG, 1977, 31 (01): : 61 - 78