The seven virtues of simple type theory

Journal of Applied Logic 6 (3):267-286 (2008)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.jal.2007.11.001
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 47,350
Through your library

References found in this work BETA

Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the Philosophy of Mathematics. North-Holland. pp. 138--157.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 21 references / Add more references

Citations of this work BETA

Terminating Tableau Systems for Hybrid Logic with Difference and Converse.Mark Kaminski & Gert Smolka - 2009 - Journal of Logic, Language and Information 18 (4):437-464.
Eq-Algebra-Based Fuzzy Type Theory And Its Extensions.Vilém Novák - 2011 - Logic Journal of the IGPL 19 (3):512-542.

Add more citations

Similar books and articles

Cut-Elimination for Simple Type Theory with an Axiom of Choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
On the Binding Group in Simple Theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
A Decidable Theory of Type Assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.
On Enveloping Type-Definable Structures.Cédric Milliet - 2011 - Journal of Symbolic Logic 76 (3):1023 - 1034.
A Type Free Theory and Collective/Distributive Predication.Fairouz Kamareddine - 1995 - Journal of Logic, Language and Information 4 (2):85-109.
A Partial Functions Version of Church's Simple Type Theory.W. A. Farmer - 1991 - Journal of Symbolic Logic 55 (1269-1291):127.
A System of Simple Type Theory with Type Variables.[author unknown] - 1974 - Journal of Symbolic Logic 39 (3):604-605.
A Note on Lascar Strong Types in Simple Theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
Theories Without the Tree Property of the Second Kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
A System of Simple Type Theory with Type Variables.Sh^|^Ocirc Maehara & Ji - 1969 - Annals of the Japan Association for Philosophy of Science 3 (4):131-137.

Analytics

Added to PP index
2016-06-30

Total views
14 ( #628,634 of 2,291,079 )

Recent downloads (6 months)
4 ( #303,879 of 2,291,079 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature