Concepts of Proof in Mathematics, Philosophy, and Computer Science

& (eds.)
Boston: De Gruyter (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Call number

QA9.54.C67 2016

ISBN(s)

9781501502620   1501510800   9781501510809   150150262X

DOI

10.1515/9781501502620
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Proof-Oriented Categorical Semantics.Marco Benini
The Continuum Hypothesis Implies Excluded Middle.Douglas S. Bridges
On Sets of Premises.Kosta Došen
Craig Interpolation via Hypersequents.Roman Kuznets
Herbrand Confluence for First-Order Proofs with Π2-Cuts.Graham E. Leigh, Stefan Hetzl & Bahareh Afshari
A General View on Normal Form Theorems for Łukasiewicz Logic with Product.Ioana Leuştean & Serafina Lapenta
Some Remarks about Normal Rings.Henri Lombardi & Thierry Coquand
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski
Non-Deterministic Inductive Definitions and Fullness.Takako Nemoto & Hajime Ishihara
Aristotle’s Deductive Logic: a Proof-Theoretical Study.Jan von Plato
Cut Elimination in Sequent Calculi with Implicit Contraction, with a Conjecture on the Origin of Gentzen’s Altitude Line Construction.Jan von Plato & Sara Negri
Hilbert’s Programme and Ordinal Analysis.Wolfram Pohlers
Remarks on Barr’s Theorem: Proofs in Geometric Theories.Michael Rathjen
Relating Quotient Completions via Categorical Logic.Giuseppe Rosolini & Maria Emilia Maietti
Contents.Peter Schuster & Dieter Probst
Frontmatter.Peter Schuster & Dieter Probst
Introduction.Peter Schuster & Dieter Probst
Preface.Peter Schuster & Dieter Probst
Theories of Proof-Theoretic Strength Ψ.Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz
Cyclic Proofs for Linear Temporal Logic.Thomas Studer & Ioannis Kokkinis
Logic for Gray-code Computation.Hideki Tsuiki, Helmut Schwichtenberg, Kenji Miyamoto & Ulrich Berger

Similar books and articles

Preface.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter.
Frontmatter.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter.
Introduction.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 1-4.
Contents.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter.
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 251-268.
Proof-Oriented Categorical Semantics.Marco Benini - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 41-68.
Aristotle’s Deductive Logic: a Proof-Theoretical Study.Jan von Plato - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 323-346.
Theories of Proof-Theoretic Strength Ψ.Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 115-140.
On Sets of Premises.Kosta Došen - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 151-162.
Craig Interpolation via Hypersequents.Roman Kuznets - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 193-214.
Hilbert’s Programme and Ordinal Analysis.Wolfram Pohlers - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 291-322.
Some Remarks about Normal Rings.Henri Lombardi & Thierry Coquand - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 141-150.
The Continuum Hypothesis Implies Excluded Middle.Douglas S. Bridges - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 111-114.
Non-Deterministic Inductive Definitions and Fullness.Takako Nemoto & Hajime Ishihara - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 163-170.
Remarks on Barr’s Theorem: Proofs in Geometric Theories.Michael Rathjen - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 347-374.

Analytics

Added to PP
2016-07-30

Downloads
16 (#880,136)

6 months
10 (#257,583)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schuster
University of Leeds

Citations of this work

Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.

Add more citations

References found in this work

No references found.

Add more references