The logic of types

In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 180--206 (1987)
  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: 92,991

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

Intensional first-order logic with types.Shalom Lappin - unknown
Fantastic Book of Logic Puzzles.Muriel Mandell - 1986 - Sterling Publishing (NY).
Local Realizability Toposes and a Modal Logic for Computability.Steve Awodey, Lars Birkedal & Dana Scott - unknown
Intersection types for lambda-terms and combinators and their logics.Martin Bunder - 2002 - Logic Journal of the IGPL 10 (4):357-378.
Types of I -free hereditary right maximal terms.Katalin Bimbó - 2005 - Journal of Philosophical Logic 34 (5/6):607 - 620.
Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001. Proceedings.Herbert Kuchen & Kazunori Ueda - 2001 - Springer Verlag.
Early Russell on Types and Plurals.Kevin C. Klement - 2014 - Journal for the History of Analytical Philosophy 2 (6):1-21.
Reasoning in Evaluation: A Distinction Between General and Working Logic.Deborah Marie Fournier - 1993 - Dissertation, Syracuse University
The Treatise's Logic. A Dispute With Wojciech Sady.Maciej Soin - 2001 - Archiwum Historii Filozofii I Myśli Społecznej 46.
On the Complexity of Nonassociative Lambek Calculus with Unit.Maria Bulińska - 2009 - Studia Logica 93 (1):1-14.

Analytics

Added to PP
2014-01-28

Downloads
11 (#1,165,043)

6 months
8 (#415,825)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2009 - In Jacek Malinowski David Makinson & Wansing Heinrich (eds.), Towards Mathematical Philosophy. Springer. pp. 269–296.
Term-labeled categorial type systems.Richard T. Oehrle - 1994 - Linguistics and Philosophy 17 (6):633 - 678.
Geach’s Categorial Grammar.Lloyd Humberstone - 2004 - Linguistics and Philosophy 28 (3):281 - 317.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references