Mathematical linguistics and proof theory

In Benthem & Meulen (eds.), Handbook of Logic and Language. MIT Press. pp. 683--736 (1997)
  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: 91,386

External links

  • This entry has no external links. Add one.
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

Reductive logic and proof-search: proof theory, semantics, and control.David J. Pym - 2004 - New York: Oxford University Press. Edited by Eike Ritter.
Proofs and rebuttals: Applying Stephen Toulmin's layout of arguments to mathematical proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.
Proof, Reliability, and Mathematical Knowledge.Anthony Peressini - 2003 - Theoria 69 (3):211-232.
Informal proofs and mathematical rigour.Marianna Antonutti Marfori - 2010 - Studia Logica 96 (2):261-272.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Mathematical proofs.Marco Panza - 2003 - Synthese 134 (1-2):119 - 158.
Q.E.D.: beauty in mathematical proof.Burkard Polster - 2004 - New York: Walker & Co..
The Hauptsatz for Stratified Comprehension: A Semantic Proof.Marcel Crabbé - 1994 - Mathematical Logic Quarterly 40 (4):481-489.
Automation in language translation and theorem proving.P. Braffort & F. van Scheepen (eds.) - 1968 - Brussels,: Commission of the European Communities, Directorate-General for Dissemination of Information.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Teaching and learning proof across the grades: a K-16 perspective.Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.) - 2009 - New York: Routledge.
Chaitin interview for simply gödel website.Palle Yourgrau - unknown
Provability, complexity, grammars.Lev Dmitrievich Beklemishev - 1999 - Providence, RI: American Mathematical Society. Edited by Mati Reĭnovich Pentus & Nikolai Konstantinovich Vereshchagin.

Analytics

Added to PP
2014-01-27

Downloads
4 (#1,595,600)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
Symmetric Categorial Grammar.Michael Moortgat - 2009 - Journal of Philosophical Logic 38 (6):681-710.
Categorial inference and modal logic.Natasha Kurtonina - 1998 - Journal of Logic, Language and Information 7 (4):399-411.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references