UNCERTAINTY, ENERGY, AND MULTIPLE-VALUED LOGICS

被引：0
|
作者：
HAYES, JP
机构：
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1986年 / 35卷 / 02期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：107 / 114
页数：8
相关论文
共 50 条
  • [1] Restricted Δ-trees in multiple-valued logics
    de Guzmán, IP
    Ojeda-Aciego, M
    Valverde, A
    [J]. ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2002, 2443 : 223 - 232
  • [2] FORMALIZING MULTIPLE-VALUED LOGICS AS INSTITUTIONS
    AGUSTICULLELL, J
    ESTEVA, F
    GARCIA, P
    GODO, L
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 521 : 269 - 278
  • [3] Issues on adjointness in multiple-valued logics
    Morsi, Nehad N.
    Roshdy, Elewa M.
    [J]. INFORMATION SCIENCES, 2006, 176 (19) : 2886 - 2909
  • [4] RESOLUTION AND PATH DISSOLUTION IN MULTIPLE-VALUED LOGICS
    MURRAY, NV
    ROSENTHAL, E
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1991, 542 : 570 - 579
  • [5] OPTICAL IMPLEMENTATION OF MULTIPLE-VALUED AND CONTINUOUS LOGICS
    MADA, H
    [J]. JAPANESE JOURNAL OF APPLIED PHYSICS PART 2-LETTERS & EXPRESS LETTERS, 1990, 29 (07): : L1290 - L1292
  • [6] A Framework for Automated Reasoning in Multiple-Valued Logics
    James J. Lu
    Neil V. Murray
    Erik Rosenthal
    [J]. Journal of Automated Reasoning, 1998, 21 : 39 - 67
  • [7] A framework for automated reasoning in multiple-valued logics
    Lu, JJ
    Murray, NV
    Rosenthal, E
    [J]. JOURNAL OF AUTOMATED REASONING, 1998, 21 (01) : 39 - 67
  • [8] Deduction and search strategies for regular multiple-valued logics
    Lu, JJ
    Murray, NV
    Rosenthal, E
    [J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2005, 11 (3-4) : 375 - 406
  • [9] DATA-TYPES OVER MULTIPLE-VALUED LOGICS
    PIGOZZI, D
    [J]. THEORETICAL COMPUTER SCIENCE, 1990, 77 (1-2) : 161 - 194
  • [10] Restricted Δ-trees and reduction theorems in multiple-valued logics
    de Guzmán, IP
    Ojeda-Aciego, M
    Valverde, A
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, 2002, 2527 : 161 - 171
12345