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 条
  • [31] A quantum algorithm for finding minimum exclusive-or expressions
    Sampson, M.
    Voudouris, D.
    Papakonstantinou, G.
    IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, 2007, : 416 - +
  • [32] On fault-tolerant design of Exclusive-OR gates in QCA
    Kumar, Dharmendra
    Mitra, Debasis
    Bhattacharya, Bhargab B.
    JOURNAL OF COMPUTATIONAL ELECTRONICS, 2017, 16 (03) : 896 - 906
  • [33] 2 DIODES FORM HIGH-POWER EXCLUSIVE-OR
    MCKAY, JE
    EDN MAGAZINE-ELECTRICAL DESIGN NEWS, 1977, 22 (06): : 149 - &
  • [34] EXCLUSIVE-OR ICS SERVE FOR PHASE-LOCKING TASKS
    OSHIRO, GS
    ELECTRONICS, 1970, 43 (13): : 83 - &
  • [35] Image Encryption Using the Recursive Attributes of the eXclusive-OR Filter
    Chatzichristofis, Savvas A.
    Bampis, Loukas
    Marques, Oge
    Lux, Mathias
    Boutalis, Yiannis
    JOURNAL OF CELLULAR AUTOMATA, 2014, 9 (2-3) : 125 - 137
  • [36] On the length of Boolean functions in the class of exclusive-OR sums of pseudoproducts
    Selezneva S.N.
    Moscow University Computational Mathematics and Cybernetics, 2014, 38 (2) : 64 - 68
  • [37] An all-optical parallel scheme for the exclusive-or operation
    Song, Q.
    Cai, P.
    Wang, P. X.
    OPTICS COMMUNICATIONS, 2012, 285 (15) : 3281 - 3283
  • [38] Implementation of the Exclusive-Or Function in a Hopfield Style Recurrent Network
    Roelof Brouwer
    Neural Processing Letters, 1997, 5 : 1 - 7
  • [39] A simple broadcasting cryptosystem in computer networks using eXclusive-OR
    Lee, Cheng-Chi
    Chang, Ting-Yi
    Hwang, Min-Shiang
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2005, 24 (03) : 180 - 183
  • [40] The learnability of exclusive-or expansions based on monotone DNF formulas
    Takimoto, E
    Sakai, Y
    Maruoka, A
    THEORETICAL COMPUTER SCIENCE, 2000, 241 (1-2) : 37 - 50
12345