Basing Sequent Systems on Exclusive-Or

被引：0
|
作者：
Avron, Arnon [1 ]
机构：
[1] Tel Aviv Univ, Sch Comp Sci, IL-69978 Tel Aviv, Israel
来源：
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021 | 2021年 / 12842卷
基金：
以色列科学基金会;
关键词：
Analytic Gentzen-type proof systems; Cut-elimination; Translations; Hypersequents;
D O I：
10.1007/978-3-030-86059-2_7
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In the standard Gentzen-type systems for classical logic, the right hand side of a sequent is interpreted as the inclusive-or of its elements. In this paper we investigate what happens if the exclusive-or. is used instead. We provide corresponding analytic systems, and some of the decision procedures that are based on them. The latter are particularly efficient for the negation-equivalence fragment of classical logic.
引用
收藏
页码：112 / 128
页数：17
相关论文
共 50 条
  • [1] AN EXCLUSIVE-OR GATE
    UZUNOGLU, V
    PROCEEDINGS OF THE INSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS, 1966, 54 (03): : 418 - &
  • [2] On the additive differential probability of exclusive-or
    Lipmaa, Helger
    Wallén, Johan
    Dumas, Philippe
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3017 : 317 - 331
  • [3] OPTOELECTRONIC EXCLUSIVE-OR (XOR) GATE
    BEYETTE, FR
    GEIB, KM
    FELD, SA
    HAFICH, MJ
    AN, X
    ROBINSON, GY
    WILMSEN, CW
    IEEE PHOTONICS TECHNOLOGY LETTERS, 1993, 5 (06) : 686 - 688
  • [4] EXCLUSIVE-OR REPRESENTATIONS OF BOOLEAN FUNCTIONS
    FLEISHER, H
    TAVEL, M
    YEAGER, J
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1983, 27 (04) : 412 - 416
  • [5] GETTING MORE OUT OF EXCLUSIVE-OR
    GREGORY, V
    BARNES, J
    CONTROL ENGINEERING, 1975, 22 (03) : 79 - 80
  • [6] SUBNANOSECOND EXCLUSIVE-OR LOGIC CIRCUIT
    WHITEHEAD, DG
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1976, 40 (01) : 93 - 96
  • [7] MINIMIZATION OF EXCLUSIVE-OR LOGIC FUNCTIONS
    ZHANG, YZ
    SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1990, 33 (04): : 477 - 485
  • [8] On the additive differential probability of exclusive-Or
    Lipmaa, H
    Wallén, J
    Dumas, P
    FAST SOFTWARE ENCRYPTION, 2004, 3017 : 317 - 331
  • [9] MINIMISATION OF EXCLUSIVE-OR LOGIC FUNCTIONS
    张彦仲
    Science China Mathematics, 1990, (04) : 477 - 485
  • [10] BRIDGE AND TRANSISTOR ARE EXCLUSIVE-OR GATE
    HOYLER, RC
    ELECTRONICS, 1968, 41 (17): : 88 - &
12345