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 条
  • [1] On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
    Amir Farahmand Parsa
    Meghdad Ghari
    Studia Logica, 2023, 111 : 573 - 613
  • [2] Automating algebraic proofs in algebraic logic
    Hsiang, Jieh
    Wasilewska, Anita
    Fundamenta Informaticae, 1996, 28 (1-2) : 129 - 140
  • [3] Combinatorial Proofs and Algebraic Proofs - I
    Shirali, Shailesh A.
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (07): : 630 - 645
  • [4] Combinatorial Proofs and Algebraic Proofs - II
    Shirali, Shailesh A.
    RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (08): : 738 - 747
  • [5] Proofs of the Algebraic Prerequisites
    Bonfiglioli, Andrea
    Fulci, Roberta
    TOPICS IN NONCOMMUTATIVE ALGEBRA: THE THEOREM OF CAMPBELL, BAKER, HAUSDORFF AND DYNKIN, 2012, 2034 : 393 - 457
  • [6] Algebraic proofs of cut elimination
    Avigad, J
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2001, 49 (1-2): : 15 - 30
  • [7] ALGEBRAIC PROOFS OF CONSISTENCY AND COMPLETENESS
    GARDINER, PHB
    THEORETICAL COMPUTER SCIENCE, 1995, 150 (01) : 161 - 191
  • [8] THERMODYNAMIC PROOFS OF ALGEBRAIC INEQUALITIES
    ZYLKA, C
    VOJTA, G
    PHYSICS LETTERS A, 1991, 152 (3-4) : 163 - 164
  • [9] SEVERAL PROOFS OF AN ALGEBRAIC INEQUALITY
    Arslanagic, Sefket
    MATHEMATICS AND INFORMATICS, 2013, 56 (01): : 60 - 63
  • [10] A SEMIALGORITHM FOR ALGEBRAIC IMPLEMENTATION PROOFS
    HENNICKER, R
    THEORETICAL COMPUTER SCIENCE, 1992, 104 (01) : 53 - 87
12345