Journal of Applied Logic 2 (2):191-217 (2004)

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

Download options

PhilArchive copy


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

References found in this work BETA

A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
On the Proof Theory of Coquand's Calculus of Constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
A Sequent Calculus for Type Assignment.Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):11-28.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):199-201.
Some Inconsistencies in Illative Combinatory Logic.M. W. Bunder - 1974 - Mathematical Logic Quarterly 20 (13‐18):199-201.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Interpreting HOL in the Calculus of Constructions.Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):173-189.
On the Proof Theory of Coquand's Calculus of Constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
Tableaux Variants of Some Modal and Relevant Systems.P. I. Bystrov - 1988 - Bulletin of the Section of Logic 17 (3/4):92-98.
Nonrepresentable Sequential Algebras.P. Jipsen & R. Maddux - 1997 - Logic Journal of the IGPL 5 (4):565-574.
Interpolation and FEP for Logics of Residuated Algebras.Wojciech Buszkowski - 2011 - Logic Journal of the IGPL 19 (3):437-454.
The Rewriting Calculus - Part I.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):339-375.
The Rewriting Calculus - Part II.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):377-410.
A Brief Survey of Frames for the Lambek Calculus.Kosta Došen - 1992 - Mathematical Logic Quarterly 38 (1):179-187.
Recursive Constructions in Topological Spaces.Iraj Kalantari & Allen Retzlaff - 1979 - Journal of Symbolic Logic 44 (4):609-625.

Analytics

Added to PP index
2016-06-30

Total views
16 ( #665,485 of 2,506,109 )

Recent downloads (6 months)
1 ( #416,984 of 2,506,109 )

How can I increase my downloads?

Downloads

My notes