https://isa-afp.org/topics/logic/proof-theory/ AFP entries in Proof theory https://isa-afp.org/entries/Abstract_Consistency_Property.html Thu, 26 Mar 2026 00:00:00 +0000 Abstract Consistency Properties in the AFP Logic/General logic/Classical first-order logic Logic/General logic/Mechanization of proofs Logic/General logic/Modal logic Logic/Proof theory Logic/General logic https://isa-afp.org/entries/Synthetic_Completeness.html Mon, 09 Jan 2023 00:00:00 +0000 Synthetic Completeness in the AFP Logic/General logic Logic/Proof theory https://isa-afp.org/entries/Propositional_Logic_Class.html Thu, 15 Dec 2022 00:00:00 +0000 Class-based Classical Propositional Logic in the AFP Logic/General logic/Classical propositional logic Logic/Proof theory https://isa-afp.org/entries/Boolos_Curious_Inference_Automated.html Mon, 05 Dec 2022 00:00:00 +0000 Automation of Boolos' Curious Inference in Isabelle/HOL in the AFP Logic Logic/Philosophical aspects Logic/Computability Logic/Proof theory Logic/General logic Computer science/Artificial intelligence Tools https://isa-afp.org/entries/Implicational_Logic.html Tue, 13 Sep 2022 00:00:00 +0000 Soundness and Completeness of Implicational Logic in the AFP Logic/General logic/Classical propositional logic Logic/Proof theory https://isa-afp.org/entries/FOL_Seq_Calc3.html Tue, 22 Mar 2022 00:00:00 +0000 A Naive Prover for First-Order Logic in the AFP Logic/General logic/Classical first-order logic Logic/Proof theory Logic/General logic/Mechanization of proofs https://isa-afp.org/entries/FO_Theory_Rewriting.html Wed, 02 Feb 2022 00:00:00 +0000 First-Order Theory of Rewriting in the AFP Computer science/Automata and formal languages Logic/Rewriting Logic/Proof theory https://isa-afp.org/entries/FOL_Seq_Calc2.html Mon, 31 Jan 2022 00:00:00 +0000 A Sequent Calculus Prover for First-Order Logic with Functions in the AFP Logic/General logic/Classical first-order logic Logic/Proof theory Logic/General logic/Mechanization of proofs https://isa-afp.org/entries/FOL_Axiomatic.html Fri, 24 Sep 2021 00:00:00 +0000 Soundness and Completeness of an Axiomatic System for First-Order Logic in the AFP Logic/General logic/Classical first-order logic Logic/Proof theory https://isa-afp.org/entries/Syntax_Independent_Logic.html Wed, 16 Sep 2020 00:00:00 +0000 Syntax-Independent Logic Infrastructure in the AFP Logic/Proof theory https://isa-afp.org/entries/Robinson_Arithmetic.html Wed, 16 Sep 2020 00:00:00 +0000 Robinson Arithmetic in the AFP Logic/Proof theory https://isa-afp.org/entries/Goedel_Incompleteness.html Wed, 16 Sep 2020 00:00:00 +0000 An Abstract Formalization of Gödel's Incompleteness Theorems in the AFP Logic/Proof theory https://isa-afp.org/entries/Goedel_HFSet_Semanticless.html Wed, 16 Sep 2020 00:00:00 +0000 From Abstract to Concrete Gödel's Incompleteness Theorems—Part II in the AFP Logic/Proof theory https://isa-afp.org/entries/Goedel_HFSet_Semantic.html Wed, 16 Sep 2020 00:00:00 +0000 From Abstract to Concrete Gödel's Incompleteness Theorems—Part I in the AFP Logic/Proof theory https://isa-afp.org/entries/FOL_Seq_Calc1.html Thu, 18 Jul 2019 00:00:00 +0000 A Sequent Calculus for First-Order Logic in the AFP Logic/Proof theory https://isa-afp.org/entries/Propositional_Proof_Systems.html Wed, 21 Jun 2017 00:00:00 +0000 Propositional Proof Systems in the AFP Logic/Proof theory https://isa-afp.org/entries/Abstract_Soundness.html Fri, 10 Feb 2017 00:00:00 +0000 Abstract Soundness in the AFP Logic/Proof theory https://isa-afp.org/entries/SuperCalc.html Tue, 06 Sep 2016 00:00:00 +0000 A Variant of the Superposition Calculus in the AFP Logic/Proof theory https://isa-afp.org/entries/Surprise_Paradox.html Sun, 17 Jul 2016 00:00:00 +0000 Surprise Paradox in the AFP Logic/Proof theory https://isa-afp.org/entries/Incredible_Proof_Machine.html Fri, 20 May 2016 00:00:00 +0000 The meta theory of the Incredible Proof Machine in the AFP Logic/Proof theory https://isa-afp.org/entries/Abstract_Completeness.html Wed, 16 Apr 2014 00:00:00 +0000 Abstract Completeness in the AFP Logic/Proof theory https://isa-afp.org/entries/Incompleteness.html Sun, 17 Nov 2013 00:00:00 +0000 Gödel's Incompleteness Theorems in the AFP Logic/Proof theory https://isa-afp.org/entries/SequentInvertibility.html Fri, 28 Aug 2009 00:00:00 +0000 Invertibility in Sequent Calculi in the AFP Logic/Proof theory https://isa-afp.org/entries/Completeness.html Mon, 20 Sep 2004 00:00:00 +0000 Completeness theorem in the AFP Logic/Proof theory