Journal of Symbolic Logic 52 (3):819-833 (1987)
The principal aim of this paper is to present a construction method for nontotal extensional combinatory algebras. This is done in $\S2$ . In $\S0$ we give definitions of some basic notions for partial combinatory algebras from which the corresponding notions for (total) combinatory algebras are obtained as specializations. In $\S1$ we discuss some properties of nontotal extensional combinatory algebras in general. $\S2$ describes a "partial" variant of reflexive complete partial orders yielding nontotal extensional combinatory algebras. Finally, $\S3$ deals with properties of the models constructed in $\S2$ , such as incompletability, having no total submodel and the pathological behaviour with respect to the interpretation of unsolvable λ-terms
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Theory of Boolean Algebras with an Additional Binary Operation.Bronisław Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Partial Boolean Algebras in a Broader Sense.Janusz Czelakowski - 1979 - Studia Logica 38 (1):1 - 16.
Computable and Continuous Partial Homomorphisms on Metric Partial Algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
On the Problem of Deciding Equality in Partial Combinatory Algebras and in a Formal System.Giuseppa Longo - 1976 - Studia Logica 35 (4):363 - 375.
A Sufficient Condition for Completability of Partial Combinatory Algebras.Andrea Asperti & Agata Ciabattoni - 1997 - Journal of Symbolic Logic 62 (4):1209-1214.
Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras.Peter Burmeister - 2004 - Studia Logica 78 (1-2):129 - 153.
Constructive Set Theoretic Models of Typed Combinatory Logic.Andreas Knobel - 1993 - Journal of Symbolic Logic 58 (1):99-118.
Added to index2009-01-28
Total downloads14 ( #327,050 of 2,153,553 )
Recent downloads (6 months)1 ( #398,274 of 2,153,553 )
How can I increase my downloads?