Language and proof theory
Journal of Logic, Language and Information 5 (3-4):247-251 (1996)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJaroslav Peregrin (2010). Inferentializing Semantics. Journal of Philosophical Logic 39 (3).
G. Mints (1999). Cut-Elimination for Simple Type Theory with an Axiom of Choice. Journal of Symbolic Logic 64 (2):479-485.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Dov Gabbay & Ruth Kempson (1992). Natural-Language Content: A Proof-Theoretic Perspective. In Proceedings of the Eigth Amsterdam Formal Semantics Colloqium. University of Amsterdam.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads17 ( #70,972 of 548,974 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
