CONSTRUCTIVE 3-VALUED LOGIC

被引：0
|
作者：
WOODRUFF, PW
机构：
来源：
JOURNAL OF SYMBOLIC LOGIC | 1970年 / 35卷 / 01期
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：183 / &
相关论文
共 50 条
  • [41] Static program analysis via 3-valued logic
    Reps, T
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 1 - 1
  • [42] A 3-VALUED SEMANTICS FOR DEDUCTIVE DATABASES AND LOGIC PROGRAMS
    YOU, JH
    YUAN, LY
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1994, 49 (02) : 334 - 361
  • [43] QUALITATIVE SPATIAL REASONING VIA 3-VALUED HETEROGENEOUS LOGIC
    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
    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
    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
    Polkowski, L
    FUNDAMENTA INFORMATICAE, 2004, 61 (01) : 37 - 45
  • [47] INDEPENDENT AXIOMS FOR IMPLICATIONAL FRAGMENT OF SOBOCINSKIS 3-VALUED LOGIC
    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
    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
    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
    LEVENE, M
    LOIZOU, G
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1995, 55 (1-2) : 29 - 38
12345