A more general general proof theory

Journal of Applied Logic 25:23-46 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2017.01.002

Links

PhilArchive



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

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

Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
On the Proof-theoretic Foundation of General Definition Theory.Lars Hallnäs - 2006 - Synthese 148 (3):589-602.
Proof theory of classical and intuitionistic logic.Jan von Plato - 2008 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Introduction to proof in abstract mathematics.Andrew Wohlgemuth - 2011 - Mineola, N.Y.: Dover Publications.
Proof-relevance of families of setoids and identity in type theory.Erik Palmgren - 2012 - Archive for Mathematical Logic 51 (1-2):35-47.
Why is $$\mathcal{CPT}$$ Fundamental?O. W. Greenberg - 2006 - Foundations of Physics 36 (10):1535-1553.
A Simulated Communication Model of Community Action Organizations: An Application of General Systems Theory and General Semantics.Russell W. Jennings, Joe Vinovich & Thomas J. Pace - 1974 - In Donald E. Washburn & Dennis R. Smith (eds.), Coping with increasing complexity: implications of general semantics and general systems theory. New York: Gordon & Breach. pp. 208.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Structural Proof Theory.Sara Negri, Jan von Plato & Aarne Ranta - 2001 - New York: Cambridge University Press. Edited by Jan Von Plato.
On the idea of a general proof theory.Dag Prawitz - 1974 - Synthese 27 (1-2):63 - 77.
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.
General Semantics and General Systems Theory: The Foundations for an'Ecology of Knowledges'.Elwood Murray - 1974 - In Donald E. Washburn & Dennis R. Smith (eds.), Coping with increasing complexity: implications of general semantics and general systems theory. New York: Gordon & Breach. pp. 1.
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.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Has Bell's inequality a general meaning for hidden-variable theories?Georges Lochak - 1976 - Foundations of Physics 6 (2):173-184.

Analytics

Added to PP
2017-12-19

Downloads
20 (#720,454)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Heinrich Wansing
Ruhr-Universität Bochum

Citations of this work

Logical Multilateralism.Heinrich Wansing & Sara Ayhan - 2023 - Journal of Philosophical Logic 52 (6):1603-1636.
Routley Star and Hyperintensionality.Sergei Odintsov & Heinrich Wansing - 2020 - Journal of Philosophical Logic 50 (1):33-56.
Connexive Conditional Logic. Part I.Heinrich Wansing & Matthias Unterhuber - forthcoming - Logic and Logical Philosophy:1.

View all 14 citations / Add more citations

References found in this work

No references found.

Add more references