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
相关论文
共 30 条
  • [1] Artemov S., 1995, 9529 MSI CORN U
  • [2] Artemov S., 2021, The Stanford Encyclopedia of Philosophy, Spring, V2021
  • [3] Artemov S, 2019, CAMB TRACT MATH, V216, P1
  • [4] The Ontology of Justifications in the Logical Setting
    Artemov, Sergei N.
    [J]. STUDIA LOGICA, 2012, 100 (1-2) : 17 - 30
  • [5] Explicit provability and constructive semantics
    Artemov, SN
    [J]. BULLETIN OF SYMBOLIC LOGIC, 2001, 7 (01) : 1 - 36
  • [6] Baur Michael, 2020, Logic and Argumentation. Third International Conference, CLAR 2020. Proceedings. Lecture Notes in Artificial Intelligence (LNAI 12061), P42, DOI 10.1007/978-3-030-44638-3_3
  • [7] Semirings of evidence
    Baur, Michael
    Studer, Thomas
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2021, 31 (08) : 2084 - 2106
  • [8] Blackburn P., 2001, Modal Logic
  • [9] Brezhnev V. N., 2000, 200005 CFIS CORN U
  • [10] Brunnler Kai., 2010, ADV MODAL LOGIC, V8, P39
123