General Proof Theory: Introduction

&
Studia Logica 107 (1):1-5 (2019)
  Copy   BIBTEX

Abstract

This special issue on general proof theory collects papers resulting from the conference on general proof theory held in November 2015 in Tübingen.

Categories

Keywords

Reprint years

DOI

10.1007/s11225-018-9818-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,042

External links

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

Through your library

My notes

Similar books and articles

Composition of Deductions within the Propositions-As-Types Paradigm.Ivo Pezlar - 2020 - Logica Universalis (4):1-13.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
On the Structure of Proofs.Lars Hallnäs - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 375-389.
Kolmogorov and the General Theory of Problems.Wagner de Campos Sanz - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 161-192.
Following all the rules: Intuitionistic completeness for generalized proof-theoretic validity.Will Stafford & Victor Nascimento - 2023 - Analysis 83 (3):507-516.
Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds.Antonio Piccolomini D’Aragona - 2021 - Studia Logica 110 (2):355-403.
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.

Analytics

Added to PP
2018-09-11

Downloads
58 (#292,995)

6 months
6 (#1,128,991)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A Logic for Best Explanations.Jared Millson & Christian Straßer - 2019 - Journal of Applied Non-Classical Logics 29 (2):184-231.

Add more citations

References found in this work

[Omnibus Review].Dag Prawitz - 1991 - Journal of Symbolic Logic 56 (3):1094-1096.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.

View all 16 references / Add more references