Multiple logic computations

被引：0
|
作者：
Vykhovanets, VS [1 ]
Malyugin, VD [1 ]
机构：
[1] Russian Acad Sci, Inst Control Sci, Moscow, Russia
来源：
AUTOMATION AND REMOTE CONTROL | 1998年 / 59卷 / 06期
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
An arbitrary system of Boolean functions is shown to be reducible to a discrete arithmetic-logical function. A method for simultaneous determination (over various sets of arguments) of more than one value of the system by calculating the corresponding arithmetic-logical form as proposed.
引用
收藏
页码：885 / 891
页数：7
相关论文
共 50 条
  • [1] Computations in Galois field using multiple-valued logic
    Abu-Khader, N
    Siy, P
    [J]. NAFIPS 2005 - 2005 Annual Meeting of the North American Fuzzy Information Processing Society, 2005, : 787 - 792
  • [2] LINEAR LOGIC AS A LOGIC OF COMPUTATIONS
    KANOVICH, MI
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 183 - 212
  • [3] The physics of implementing logic: Landauer's principle and the multiple-computations theorem
    Hemmo, Meir
    Shenker, Orly
    [J]. STUDIES IN HISTORY AND PHILOSOPHY OF MODERN PHYSICS, 2019, 68 : 90 - 105
  • [4] Proofs as computations in linear logic
    Delzanno, G
    Martelli, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 269 - 297
  • [5] Observing functional logic computations
    Brassel, B
    Chitil, O
    Hanus, M
    Huch, F
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2004, 3057 : 193 - 208
  • [6] Quantum logic as a basis for computations
    Pykacz, J
    [J]. INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2000, 39 (03) : 839 - 850
  • [7] FUNCTIONAL COMPUTATIONS IN LOGIC PROGRAMS
    DEBRAY, SK
    WARREN, DS
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (03): : 451 - 481
  • [8] LOGIC APPROACH TO COMBINATORIAL COMPUTATIONS
    SAPIR, MV
    [J]. AUTOMATION AND REMOTE CONTROL, 1990, 51 (07) : 966 - 972
  • [9] Reversible Computations in Logic Programming
    Vidal, German
    [J]. REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 : 246 - 254
  • [10] Quantum Logic as a Basis for Computations
    Jarosław Pykacz
    [J]. International Journal of Theoretical Physics, 2000, 39 : 839 - 840
12345