GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ

被引：0

作者：

BECCHIO, D

PABION, JF

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：123 / 124

页数：2

共 50 条

[1] Quasi-truth Degree of Formula in Lukasiewicz 3-valued Logic System
Zuo, Weibing
[J]. 2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 2, 2010, : 229 - 233
[2] Rough algebras and 3-valued lukasiewicz algebras
Institute of Artificial Intelligence, Zhejiang University, Hangzhou 310027, China
不详
[J]. Jisuanji Xuebao, 2007, 2 (161-167): : 161 - 167
[3] FURTHER AXIOMATIZATIONS OF LUKASIEWICZ 3-VALUED CALCULUS
TURQUETT.AR
[J]. JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (03) : 500 - &
[4] 3-VALUED LOGIC
PUTNAM, H
[J]. PHILOSOPHICAL STUDIES, 1957, 8 (05) : 73 - 80
[5] ON THE CONSTRUCTION OF 3-VALUED LUKASIEWICZ-MOISIL ALGEBRAS
IORGULESCU, A
[J]. DISCRETE MATHEMATICS, 1984, 48 (2-3) : 213 - 227
[6] ARGUMENTS IN 3-VALUED LOGIC
WOODRUFF, PW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (04) : 637 - &
[7] PROGRAMMING IN 3-VALUED LOGIC
DELAHAYE, JP
THIBAU, V
[J]. THEORETICAL COMPUTER SCIENCE, 1991, 78 (01) : 189 - 216
[8] TREES FOR A 3-VALUED LOGIC
JOHNSON, F
[J]. ANALYSIS, 1984, 44 (01) : 43 - 46
[9] CONSTRUCTIVE 3-VALUED LOGIC
WOODRUFF, PW
[J]. JOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 183 - &
[10] 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