دانلود کتاب Concepts of Proof in Mathematics, Philosophy, and Computer Science

فهرست مطالب :

Contents\nIntroduction\nHerbrand Confluence for First-Order Proofs\rwith π\r2-Cuts\nProof-Oriented Categorical Semantics\nLogic for Gray-code Computation\nThe Continuum Hypothesis Implies Excluded Middle\nTheories of Proof-Theoretic Strength\nSome Remarks about Normal Rings\nOn Sets of Premises\nNon-Deterministic Inductive Definitions and Fullness\nCyclic Proofs for Linear Temporal Logic\nCraig Interpolation via Hypersequents\nA General View on Normal Form Theorems for Lukasiewicz Logic with Product\nRelating Quotient Completions via Categorical Logic\nSome Historical, Philosophical and Methodological Remarks on Proof in Mathematics\nCut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction\nHilbert’s Programme and Ordinal Analysis\nAristotle’s Deductive Logic: a Proof-Theoretical Study\nRemarks on Barr’s Theorem: Proofs in Geometric Theories