ARGUMENTS IN 3-VALUED LOGIC

被引:0
作者
WOODRUFF, PW
机构
关键词
D O I
暂无
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
引用
收藏
页码:637 / &
相关论文
共 50 条
[21]   LEGALITY CONCEPTS FOR 3-VALUED LOGIC PROGRAMS [J].
NOTA, G ;
OREFICE, S ;
PACINI, G ;
RUGGIERO, F ;
TORTORA, G .
THEORETICAL COMPUTER SCIENCE, 1993, 120 (01) :45-68
[22]   ON SHEFFER SYMMETRIC FUNCTIONS IN 3-VALUED LOGIC [J].
STOJMENOVIC, I .
DISCRETE APPLIED MATHEMATICS, 1989, 22 (03) :267-274
[23]   GENTZENS TECHNIQUES IN 3-VALUED LOGIC OF LUKASIEWICZ [J].
BECCHIO, D ;
PABION, JF .
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (01) :123-124
[24]   3-VALUED BROUWER-ZADEH LOGIC [J].
GIUNTINI, R .
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1993, 32 (10) :1875-1887
[25]   3-WIRE 3-VALUED LOGIC CIRCUITS [J].
HARADA, N ;
SHIMADA, R ;
TAMESADA, T .
ELECTRONICS & COMMUNICATIONS IN JAPAN, 1969, 52 (01) :120-&
[26]   Fixpoint 3-valued semantics for autoepistemic logic [J].
Denecker, M ;
Marek, V ;
Truszczynski, M .
FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, :840-845
[27]   Static program analysis via 3-valued logic [J].
Reps, TW ;
Sagiv, M ;
Wilheim, R .
COMPUTER AIDED VERIFICATION, 2004, 3114 :15-30
[28]   Parametric shape analysis via 3-valued logic [J].
Sagiv, M ;
Reps, T ;
Wilhelm, R .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2002, 24 (03) :217-298
[29]   Stone algebras: 3-valued logic and rough sets [J].
Arun Kumar ;
Shilpi Kumari .
Soft Computing, 2021, 25 :12685-12692
[30]   A paraconsistent 3-valued logic related to Godel logic G3 [J].
Robles, Gemma ;
Mendez, Jose M. .
LOGIC JOURNAL OF THE IGPL, 2014, 22 (04) :515-538