Concepts of Proof in Mathematics, Philosophy, and Computer Science [online] / ed. Dieter Probst, Peter Schuster

Contributor(s):

Material type: Text

TextLanguage: English Series: Ontos Mathematical Logic ; 6Publication details: Berlin : De Gruyter, 2016Description: 1 resursă online (374 p.)ISBN:

9781501502620

Subject(s):

Genre/Form:

Online resources:

Acces la textul integral numai din contul de acces mobil.

Contents:

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

Item type:

E-Books List(s) this item appears in: Titluri cărți electronice achiziționate prin Anelis Plus (De Gruyter) | Titluri carți matematică (DC nave) intrate în 2016-2021 | Titluri cărți matematică intrate în 2010-2021 | Titluri cărți matematică intrate în 2016-2022 | Titluri cărți matematică în limba engleză publicate în 2013-2023 | Titluri cărți matematică în limba engleză

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

No physical items for this record

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

Achiziție prin proiectul Anelis Plus 2020.

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer