Typability in Partial Applicative Structures

Journal of Logic, Language and Information 20 (2):161-168 (2011)
  Copy   BIBTEX

Abstract

Adapting a claim of Kracht (Theor Comput Sci 354:131–141, 2006), we establish a characterization of the typable partial applicative structures

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.
Ranked partial structures.Timothy J. Carlson - 2003 - Journal of Symbolic Logic 68 (4):1109-1144.
Quasi-Truth, Supervaluations and Free Logic.Newton C. A. Da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
Partial Combinatory Algebras of Functions.Jaap van Oosten - 2011 - Notre Dame Journal of Formal Logic 52 (4):431-448.

Analytics

Added to PP
2010-03-22

Downloads
38 (#365,484)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.
Stratified Systems of Logic.M. H. A. Newman - 1944 - Journal of Symbolic Logic 9 (2):50-52.

Add more references