A General Schema for Bilateral Proof Rules
Article in Journal of Philosophical Logic (March 2024)
First-Order Logic
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Preliminaries
-
Altmetric BadgeChapter 2 Analytic Tableaux
-
Altmetric BadgeChapter 3 Compactness
-
Altmetric BadgeChapter 4 First-Order Logic. Preliminaries
-
Altmetric BadgeChapter 5 First-Order Analytic Tableaux
-
Altmetric BadgeChapter 6 A Unifying Principle
-
Altmetric BadgeChapter 7 The Fundamental Theorem of Quantification Theory
-
Altmetric BadgeChapter 8 Axiom Systems for Quantification Theory
-
Altmetric BadgeChapter 9 Magic Sets
-
Altmetric BadgeChapter 10 Analytic versus Synthetic Consistency Properties
-
Altmetric BadgeChapter 11 Gentzen Systems
-
Altmetric BadgeChapter 12 Elimination Theorems
-
Altmetric BadgeChapter 13 Prenex Tableaux
-
Altmetric BadgeChapter 14 More on Gentzen Systems
-
Altmetric BadgeChapter 15 Craig’s Interpolation Lemma and Beth’s Definability Theorem
-
Altmetric BadgeChapter 16 Symmetric Completeness Theorems
-
Altmetric BadgeChapter 17 Systems of Linear Reasoning