- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Peter Schuster & Dieter Probst (eds.)
Boston: De Gruyter (2016)
Abstract
This article has no associated abstract. (fix it)Author's Profile
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Chapters
Herbrand Confluence for First-Order Proofs with Π2-Cuts. (pages 5-40)Graham E. Leigh, Stefan Hetzl & Bahareh Afshari
Logic for Gray-code Computation. (pages 69-110)Hideki Tsuiki, Helmut Schwichtenberg, Kenji Miyamoto & Ulrich Berger
Theories of Proof-Theoretic Strength Ψ. (pages 115-140)Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz
Non-Deterministic Inductive Definitions and Fullness. (pages 163-170)Takako Nemoto & Hajime Ishihara
A General View on Normal Form Theorems for Łukasiewicz Logic with Product. (pages 215-228)Ioana Leuştean & Serafina Lapenta
Relating Quotient Completions via Categorical Logic. (pages 229-250)Giuseppe Rosolini & Maria Emilia Maietti
Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics. (pages 251-268)Roman Murawski
Similar books and articles
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.
Logic for Gray-code Computation.Hideki Tsuiki, Helmut Schwichtenberg, Kenji Miyamoto & Ulrich Berger - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 69-110.
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.
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.
Cyclic Proofs for Linear Temporal Logic.Thomas Studer & Ioannis Kokkinis - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 171-192.
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.
Relating Quotient Completions via Categorical Logic.Giuseppe Rosolini & Maria Emilia Maietti - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 229-250.
Analytics
Added to PP
2016-07-30
Downloads
23 (#800,854)
6 months
15 (#317,504)
2016-07-30
Downloads
23 (#800,854)
6 months
15 (#317,504)
Historical graph of downloads
Author's Profile
Citations of this work
Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-9b866bbb8-sl6b2 uwo