Concepts of Proof in Mathematics, Philosophy, and Computer Science.Series: Ontos Mathematical Logic SerPublisher: Boston : De Gruyter, Inc., 2016Copyright date: ©2016Description: 1 online resource (384 pages)Content type:
- online resource
- QA9.54.C663 2016eb
|Item type||Current library||Call number||Status||Date due||Barcode||Item holds|
Intro -- 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 -- 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 Lukasiewicz 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.
In the last decades, mathematical logic has developed into a technically quite sophisticated area of mathematics. Nevertheless, inspirations from philosophy and computer science continue to be important and noticeable. The series publishes conference proceedings as well as monographs written by leading researchers in mathematical logic.
Description based on publisher supplied metadata and other sources.
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.