Concepts of Proof in Mathematics, Philosophy, and Computer Science
Concepts of Proof in Mathematics, Philosophy, and Computer Science [online] /
ed. Dieter Probst, Peter Schuster
- Berlin : De Gruyter, 2016
- 1 resursă online (374 p.)
- Ontos Mathematical Logic, 6 .
Frontmatter Preface
Contents Introduction Herbrand Confluence for First-Order Proofs with Π2-Cuts Proof-Oriented Categorical Semantics Logic for Gray-code Computation The Continuum Hypothesis Implies Excluded Middle Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) Some Remarks about Normal Rings On Sets of Premises Non-Deterministic Inductive Definitions and Fullness Cyclic Proofs for Linear Temporal Logic Craig Interpolation via Hypersequents A General View on Normal Form Theorems for Łukasiewicz Logic with Product Relating Quotient Completions via Categorical Logic Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction Hilbert’s Programme and Ordinal Analysis Aristotle’s Deductive Logic: a Proof-Theoretical Study Remarks on Barr’s Theorem: Proofs in Geometric Theories
9781501502620
DE-Matematică
Frontmatter Preface
Contents Introduction Herbrand Confluence for First-Order Proofs with Π2-Cuts Proof-Oriented Categorical Semantics Logic for Gray-code Computation The Continuum Hypothesis Implies Excluded Middle Theories of Proof-Theoretic Strength Ψ (ΓΩ +1) Some Remarks about Normal Rings On Sets of Premises Non-Deterministic Inductive Definitions and Fullness Cyclic Proofs for Linear Temporal Logic Craig Interpolation via Hypersequents A General View on Normal Form Theorems for Łukasiewicz Logic with Product Relating Quotient Completions via Categorical Logic Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction Hilbert’s Programme and Ordinal Analysis Aristotle’s Deductive Logic: a Proof-Theoretical Study Remarks on Barr’s Theorem: Proofs in Geometric Theories
9781501502620
DE-Matematică