TY  - BOOK
AU  - PROBST,Dieter
AU  - SCHUSTER,Peter
TI  - Concepts of Proof in Mathematics, Philosophy, and Computer Science
T2  - Ontos Mathematical Logic, 
SN  - 9781501502620
PY  - 2016///
CY  - Berlin : 
PB  - De Gruyter, 
KW  - UDJG
KW  - DE-Matematică
N1  - 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
UR  - https://www-degruyter-com.am.e-nformation.ro/document/doi/10.1515/9781501502620/html
ER  -