DEDUCTIVE ASPECTS OF 3-VALUED LOGIC

被引：0
|
作者：
SCHMITT, PH
机构：
来源：
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE | 1991年 / 546卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：394 / 401
页数：8
相关论文
共 50 条
  • [41] 3-VALUED FORMALIZATIONS OF NONMONOTONIC REASONING AND LOGIC PROGRAMMING
    PRZYMUSINSKI, TC
    PROCEEDINGS OF THE FIRST CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 1989, : 341 - 348
  • [42] Static program analysis via 3-valued logic
    Reps, T
    STATIC ANALYSIS, PROCEEDINGS, 2002, 2477 : 1 - 1
  • [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