Journal of Applied Logic 2 (2):173-189 (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.003 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
On the Proof Theory of Coquand's Calculus of Constructions.Jonathan P. Seldin - 1997 - Annals of Pure and Applied Logic 83 (1):23-101.
The Logic of Choice.Andreas Blass & Yuri Gurevich - 2000 - Journal of Symbolic Logic 65 (3):1264-1310.
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.
Citations of this work BETA
No citations found.
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 index
2016-06-30
Total views
16 ( #665,648 of 2,506,511 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,511 )
2016-06-30
Total views
16 ( #665,648 of 2,506,511 )
Recent downloads (6 months)
1 ( #416,791 of 2,506,511 )
How can I increase my downloads?
Downloads
