ARGUMENTS IN 3-VALUED LOGIC

被引：0
作者：
WOODRUFF, PW
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1968年 / 33卷 / 04期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：637 / &
相关论文
共 50 条
[41]   Static program analysis via 3-valued logic [J].
Reps, T .
STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 :1-1
[42]   A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS [J].
YOU, JH ;
YUAN, LY .
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) :334-361
[43]   QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC [J].
Arkoudas, Konstantine ;
Bringsjord, Selmer ;
Khemlani, Sangeet .
KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, 2009, :80-+
[44]   THE HILBERT TYPE AXIOMATIZATION OF SOME 3-VALUED PROPOSITIONAL LOGIC [J].
ZBRZEZNY, A .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1990, 36 (05) :415-421
[45]   G3′ AS THE LOGIC OF MODAL 3-VALUED HEYTING ALGEBRAS [J].
Coniglio, Marcelo Esteban ;
Figallo-Orellano, Aldo ;
Hernandez-Tello, Alejandro ;
Perez-Gaspar, Miguel .
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2022, 9 (01) :175-197
[46]   A note on 3-valued rough logic accepting decision rules [J].
Polkowski, L .
FUNDAMENTA INFORMATICAE, 2004, 61 (01) :37-45
[47]   INDEPENDENT AXIOMS FOR IMPLICATIONAL FRAGMENT OF SOBOCINSKIS 3-VALUED LOGIC [J].
MEYER, RK ;
PARKS, Z .
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1972, 18 (04) :291-295
[48]   REALIZATION OF A 3-VALUED LOGIC BUILT-IN TESTING STRUCTURE [J].
ROZON, CN ;
MOUFTAH, HT .
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (03) :814-820
[49]   USE OF 3-VALUED LOGIC FOR DESCRIBING RELIABILITY OF SAFETY SYSTEMS [J].
BANFI, A ;
GARRIBBA, S ;
MUSSIO, P ;
NALDI, F ;
VOLTA, G .
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1976, 24 (NOV19) :326-327
[50]   A CORRESPONDENCE BETWEEN VARIABLE RELATIONS AND 3-VALUED PROPOSITIONAL LOGIC [J].
LEVENE, M ;
LOIZOU, G .
INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 55 (1-2) :29-38
12345