Automating algebraic proofs in algebraic logic

被引：0
|
作者：
Hsiang, Jieh [1 ]
Wasilewska, Anita [1 ]
机构：
[1] Natl Taiwan Univ, Taipei, Taiwan
来源：
Fundamenta Informaticae | 1996年 / 28卷 / 1-2期
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Boolean algebra
引用
收藏
页码：129 / 140
相关论文
共 50 条
  • [1] On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
    Amir Farahmand Parsa
    Meghdad Ghari
    [J]. Studia Logica, 2023, 111 : 573 - 613
  • [2] On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs
    Farahmand Parsa, Amir
    Ghari, Meghdad
    [J]. STUDIA LOGICA, 2023, 111 (04) : 573 - 613
  • [3] Proofs of the Algebraic Prerequisites
    Bonfiglioli, Andrea
    Fulci, Roberta
    [J]. TOPICS IN NONCOMMUTATIVE ALGEBRA: THE THEOREM OF CAMPBELL, BAKER, HAUSDORFF AND DYNKIN, 2012, 2034 : 393 - 457
  • [4] Combinatorial Proofs and Algebraic Proofs - II
    Shirali, Shailesh A.
    [J]. RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (08): : 738 - 747
  • [5] Combinatorial Proofs and Algebraic Proofs - I
    Shirali, Shailesh A.
    [J]. RESONANCE-JOURNAL OF SCIENCE EDUCATION, 2013, 18 (07): : 630 - 645
  • [6] Algebraic proofs of cut elimination
    Avigad, J
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2001, 49 (1-2): : 15 - 30
  • [7] Automating Algebraic Methods in Isabelle
    Guttmann, Walter
    Struth, Georg
    Weber, Tjark
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 617 - +
  • [8] ALGEBRAIC PROOFS OF CONSISTENCY AND COMPLETENESS
    GARDINER, PHB
    [J]. THEORETICAL COMPUTER SCIENCE, 1995, 150 (01) : 161 - 191
  • [9] THERMODYNAMIC PROOFS OF ALGEBRAIC INEQUALITIES
    ZYLKA, C
    VOJTA, G
    [J]. PHYSICS LETTERS A, 1991, 152 (3-4) : 163 - 164
  • [10] SEVERAL PROOFS OF AN ALGEBRAIC INEQUALITY
    Arslanagic, Sefket
    [J]. MATHEMATICS AND INFORMATICS, 2013, 56 (01): : 60 - 63
12345