Proof theory and formal grammars: applications of normalization

In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers. pp. 235--256 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic].Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.) - 2003 - Kluwer Academic Publishers.
Bayesian networks in philosophy.Benedikt Lowe, Wolfgang Malzkorn & Thoralf Räsch - 2003 - In Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.), Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics. Springer Verlag. pp. 39-46.
Two-Dimensionalism and the Metaphysical Possibility of Zombies.Daniel Cohnitz - 2003 - In Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.), Foundations of The Formal Sciences II. Applications of Mathematical Logic in Philosophy and Linguistics [Trends in Logic]. Kluwer Academic Publishers. pp. 55--62.
Features in phonological theory.Marcus Kracht - 2003 - In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers. pp. 123--149.
Foundations of the Formal Sciences II.Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.) - 2003 - Kluwer Academic Publishers.
Formal Grammars in Linguistics and Psycholinguistics.W. J. M. Levelt - 1976 - Foundations of Language 14 (4):609-609.
Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics.Benedikt Löwe, Wolfgang Malzkorn & Thoralf Räsch (eds.) - 2003 - Springer Verlag.
Program Extraction from Normalization Proofs.Ulrich Berger, Stefan Berghofer, Pierre Letouzey & Helmut Schwichtenberg - 2006 - Studia Logica 82 (1):25-49.
Granularity analysis for tutoring mathematical proofs.Marvin R. G. Schiller - 2011 - [Heidelberg]: AKA Verlag.
Foundations of the Formal Sciences Ii: Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference Held in Bonn, November 10–13, 2000.Benedikt Löwe, Wolfgang Malzkom & Thoralf Räsch (eds.) - 2003 - Dordrecht, Netherland: Springer.

Analytics

Added to PP
2014-01-27

Downloads
6 (#711,559)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Natural deduction systems for some non-commutative logics.Norihiro Kamide & Motohiko Mouri - 2007 - Logic and Logical Philosophy 16 (2-3):105-146.

Add more citations

References found in this work

No references found.

Add more references