A REMARK ON SOME EXTENSION OF A LANGUAGE OF MULTI-VALUED PREDICATED LOGIC

被引：0
|
作者：
SKVORCOV, DP
FINN, VK
机构：
来源：
NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY | 1981年 / 08期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：25 / 26
页数：2
相关论文
共 50 条
  • [1] MULTI-VALUED LOGIC
    PERRINE, S
    ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1978, 33 (11-1): : 376 - 382
  • [2] The development of multi-valued logic
    Shuman, A. N.
    Karpenko, A. S.
    VOPROSY FILOSOFII, 2012, (03) : 184 - 185
  • [3] Multi-Valued Quantum Logic
    Katz, Michael
    ISMVL 2006: 36th International Symposium on Multiple-Valued Logic, 2006, : 188 - 193
  • [4] MULTI-VALUED LOGIC SYSTEMS
    HAWKEN, RE
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1989, 67 (05) : 685 - 685
  • [5] Multi-valued autoepistemic logic
    Stark, RF
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 18 (2-4) : 159 - 174
  • [6] Multi-valued logic synthesis
    Brayton, RK
    Khatri, SP
    TWELFTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1999, : 196 - 205
  • [7] A Sequence of Functions of the Multi-Valued Logic
    Andreev, A. A.
    MOSCOW UNIVERSITY MATHEMATICS BULLETIN, 2011, 66 (06) : 273 - 277
  • [8] Verification of multi-valued logic networks
    Drechsler, R
    1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 10 - 15
  • [9] Bilattices for deductions in multi-valued logic
    Carotenuto, Gemma
    Gerla, Giangiacomo
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2013, 54 (08) : 1066 - 1086
  • [10] On adequate sets of multi-valued logic *
    Cheng, Daizhan
    Feng, Jun-E
    Zhao, Jianli
    Fu, Shihua
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2021, 358 (13): : 6705 - 6722
12345