On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs

被引：0
|
作者：
Farahmand Parsa, Amir [1 ]
Ghari, Meghdad [2 ]
机构：
[1] Inst Res Fundamental Sci IPM, Sch Math, Tehran, Iran
[2] Univ Isfahan, Fac Literature & Humanities, Dept Philosophy, Esfahan, Iran
来源：
STUDIA LOGICA | 2023年 / 111卷 / 04期
关键词：
Logic of proofs; Algebraic semantics; Completeness; Representation theorem;
D O I：
10.1007/s11225-022-10033-2
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on proof terms and equality predicate on terms. Moreover, the completeness theorem and certain generalizations of Stone's representation theorem are obtained for all proposed algebras.
引用
收藏
页码：573 / 613
页数：41
相关论文
共 50 条
  • [41] Towards an Algebraic Topos Semantics for Three-valued Godel Logic
    Aguzzoli, Stefano
    Codara, Pietro
    IEEE CIS INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS 2021 (FUZZ-IEEE), 2021,
  • [42] LOGIC OF PROOFS
    ARTEMOV, S
    ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 29 - 59
  • [43] Simple Hard Instances for Low-Depth Algebraic Proofs
    Govindasamy, Nashlen
    Hakoniemi, Tuomas
    Tzameret, Iddo
    2022 IEEE 63RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2022, : 188 - 199
  • [44] Exponential lower bound for static semi-algebraic proofs
    Grigoriev, D
    Hirsch, EA
    Pasechnik, DV
    AUTOMATA, LANGUAGES AND PROGRAMMING, 2002, 2380 : 257 - 268
  • [45] Calculational Relation-Algebraic Proofs in the Teaching Tool CALCCHECK
    Kahl, Wolfram
    RELATIONAL AND ALGEBRAIC METHODS IN COMPUTER SCIENCE, 2018, 11194 : 366 - 384
  • [46] COMPLEXITY IN IDEALS OF POLYNOMIALS: QUESTIONS ON ALGEBRAIC COMPLEXITY OF CIRCUITS AND PROOFS
    Arvind, V
    BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2020, European Association for Theoretical Computer Science (130): : 13 - 36
  • [47] Functional Lower Bounds in Algebraic Proofs: Symmetry, Lifting, and Barriers
    Hakoniemi, Tuomas
    Limaye, Nutan
    Tzameret, Iddo
    PROCEEDINGS OF THE 56TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC 2024, 2024, : 1396 - 1404
  • [48] Weighted, Circular and Semi-Algebraic Proofs (Abstract Reprint)
    Bonacina, Ilario
    Luisa Bonet, Maria
    Levy, Jordi
    PROCEEDINGS OF THE THIRTY-THIRD INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2024, 2024, : 8475 - 8475
  • [49] SHORT PROOFS USING COMPACT REPRESENTATIONS OF ALGEBRAIC-INTEGERS
    THIEL, C
    JOURNAL OF COMPLEXITY, 1995, 11 (03) : 310 - 329
  • [50] Calculational relation-algebraic proofs in the teaching tool CALCCHECK
    Kahl, Wolfram
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 117
12345