Interpreting HOL in the calculus of constructions

Journal of Applied Logic 2 (2):173-189 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2004.02.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

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

Variants of the basic calculus of constructions.M. W. Bunder & Jonathan P. Seldin - 2004 - Journal of Applied Logic 2 (2):191-217.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
Nonrepresentable sequential algebras.P. Jipsen & R. Maddux - 1997 - Logic Journal of the IGPL 5 (4):565-574.
A sequent calculus formulation of type assignment with equality rules for the \ambdaβ-calculus.Jonathan P. Seldin - 1978 - Journal of Symbolic Logic 43 (4):643-649.
Interpreting nature. Cultural constructions of the environment.Svend Erik Larsen - 1995 - History of European Ideas 21 (6):791-792.
Is Leibnizian calculus embeddable in first order logic?Piotr Błaszczyk, Vladimir Kanovei, Karin U. Katz, Mikhail G. Katz, Taras Kudryk, Thomas Mormann & David Sherry - 2017 - Foundations of Science 22 (4):73 - 88.
The notion of problem, intuitionism and partiality.Pavel Materna - 2008 - Logic and Logical Philosophy 17 (4):287-303.
Interpreting Nature: Cultural Constructions of the Environment by I. G. Simmons. [REVIEW]Steven Yearley - 1995 - Isis 86:94-95.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
How Known Constructions Influence the Acquisition of Other Constructions: The German Passive and Future Constructions.Kirsten Abbot-Smith & Heike Behrens - 2006 - Cognitive Science 30 (6):995-1026.
Review: V. A. Jankov, On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus. [REVIEW]J. G. Anderson - 1973 - Journal of Symbolic Logic 38 (2):331-332.
On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.V. A. Jankov - 1973 - Journal of Symbolic Logic 38 (2):331-332.
We provide a simple and transparent construction of Hrushovski's strongly minimal fusions in the case where the fused strongly minimal sets are vector spaces. We strengthen Hrushovski's result by showing that the strongly minimal fusions are model complete.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
Some intuitions behind realizability semantics for constructive logic: Tableaux and Läuchli countermodels.James Lipton & Michael J. O'Donnell - 1996 - Annals of Pure and Applied Logic 81 (1-3):187-239.
A formal treatment of the causative constructions in chinese.Chongli Zou & Nianxi Xia - 2008 - Frontiers of Philosophy in China 3 (2):307-316.

Analytics

Added to PP
2016-06-30

Downloads
22 (#712,914)

6 months
3 (#984,770)

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

The logic of choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.
On the proof theory of Coquand's calculus of constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.

Add more references