Language and proof theory

&
Journal of Logic, Language and Information 5 (3-4):247-251 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00159340

Links

PhilArchive



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

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

Quantification in Ordinary Language and Proof Theory.Michele Abrusci & Pasquali - 2016 - Philosophia Scientiae 20:185-205.
Quantification in Ordinary Language and Proof Theory.Michele Abrusci, Fabio Pasquali & Christian Retoré - 2016 - Philosophia Scientiae 20:185-205.
25th Workshop on Logic, Language, Information and Computation: WoLLIC 2018.Lawrence Moss & Ruy de Queiroz - 2022 - Journal of Logic, Language and Information 31 (4):525-527.
Labelled deductive systems, volume 1, Dov M. Gabbay.Geert-Jan M. Kruijff - 1998 - Journal of Logic, Language and Information 7 (4):502-506.
Preface.Sujata Ghosh & R. Ramanujam - 2023 - Journal of Logic, Language and Information 32 (1):1-2.
Editorial Foreword.Natasha Alechina & Valentin Goranko - 2020 - Journal of Logic, Language and Information 29 (1):1-2.
Fibring logics, Dov M. Gabbay.Amílcar Sernadas - 2000 - Journal of Logic, Language and Information 9 (4):511-513.
Dov M. Gabbay, Fibring Logics.A. Sernadas - 2000 - Journal of Logic Language and Information 9 (4):511-513.
Temporal logic: Mathematical foundations and computational aspects, volume 2, Dov M. Gabbay, mark A. Reynolds, and Marcelo finger. [REVIEW]Ullrich Hustadt - 2001 - Journal of Logic, Language and Information 10 (3):406-410.
Handbook of tableau methods, Marcello D'Agostino, Dov M. Gabbay, Reiner hähnle, and Joachim posegga, eds.Maarten de Rijke - 2001 - Journal of Logic, Language and Information 10 (4):518-523.

Analytics

Added to PP
2009-01-28

Downloads
48 (#104,651)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Dov Gabbay
Hebrew University of Jerusalem
Ruth Kempson

Citations of this work

No citations found.

Add more citations

References found in this work

The Situation in Logic.Jon Barwise - 1988 - Cambridge, England: Center for the Study of Language and Inf.
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.

Add more references