Abstract | ||
---|---|---|
It is proved that no maximum consistent extension exists for thesimply-typed theory of fi-conversion.1 IntroductionIn this paper we address the problem of the existence of a maximum consistentextension (henceforth simply "maximum extension") of the simply-typed theoryof fi-conversion.For the theory of fij-conversion the answer was already known, and depends onthe number of the atomic types. With just one atomic type a positive answerwas provided by Statman in [Statman 1982] (Prop.8),... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1006/inco.1997.2663 | Inf. Comput. |
Keywords | DocType | Volume |
maximum extension | Journal | 139 |
Issue | ISSN | Citations |
1 | 0890-5401 | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Franco Barbanera | 1 | 357 | 35.14 |
Stefano Berardi | 2 | 373 | 51.58 |