Aczel Peter. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki 1975, edited by Miettinen Seppo and Väänänen Jouko, The department of philosophy, University of Helsinki, Helsinki 1977, pp. 1–32 [Book Review]

Journal of Symbolic Logic 49 (1):313 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274118

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-313.
The Strength of Martin-Löf's Intuitionistic Type Theory with One Universe.Peter Aczel - 1984 - Journal of Symbolic Logic 49 (1):313-313.
Logic Colloquium '90: ASL Summer Meeting in Helsinki.Juha Oikkonen - 1993 - Springer Verlag.
Reconstructing the Temple at tegea J. pakkanen: The Temple of Athena alea at tegea: A reconstruction of the peristyle column (publications by the department of art history at the university of helsinki, 18.) helsinki: University of helsinki department of art history and finnish institute at athens, 1998. Pp. VI + 192, 29 ills and 8 tables in main text; 3 tables and 83 ills in catalogue. Paper, €30.27. Isbn: 951-45-8407-. [REVIEW]Graham Shipley - 2002 - The Classical Review 52 (02):335-.
Lemmon E. J.. A theory of attributes based on modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 95–122.Marcus Ruth Barcan. Classes and attributes in extended modal systems. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 123–136. [REVIEW]M. J. Cresswell - 1972 - Journal of Symbolic Logic 37 (1):180-181.
Stenius Erik. The principles of a logic of normative systems. Proceedings of a Colloquium on Modal and Many-valued logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 247–260. [REVIEW]T. J. Smiley - 1971 - Journal of Symbolic Logic 36 (3):519-520.
Chang C. C.. Logic with positive and negative truth values. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 19–39. [REVIEW]Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):331-332.
Halldén Sören. A pragmatic approach to modal theory. A reprint, with minor changes, of XXXIII 137. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 53–64. [REVIEW]Dagfinn Føllesdal - 1975 - Journal of Symbolic Logic 40 (4):601-602.
Rescher Nicholas. A probabilistic approach to modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 215–226. [REVIEW]John P. Burgess - 1970 - Journal of Symbolic Logic 35 (4):583-583.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
Montague Richard. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23-26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 153–167. [REVIEW]Perry Smith - 1975 - Journal of Symbolic Logic 40 (4):600-601.
Mostowski Andrzej. Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta philosophica Fennica, no. 17, Helsinki 1965, and Barnes & Noble, Inc., New York 1966, 180 pp.; second printing, Helsinki 1967, 180 pp. [REVIEW]Abraham Robinson - 1968 - Journal of Symbolic Logic 33 (1):111-112.
Päivi Pahta, Medieval Embryology in the Vernacular: The Case of “De spermate.”(Mémoires de la Société Néophilologique de Helsinki, 53.) Helsinki: Société Néophilologique, 1998. Paper. Pp. xii, 328; color frontispiece facsimile and 1 black-and-white figure. $45. Distributed by Tiedekirja Bookshop, Kirkkokatu 14, FIN-00170 Helsinki, Finland. [REVIEW]Margaret Schleissner - 2001 - Speculum 76 (3):777-778.
From dynamic disbeliefs to causality and chance: Wolfgang Spohn: Causation, coherence and concepts: A collection of essays. Boston Studies in the Philosophy of Science 256. Dordrecht: Springer, 2009, xvi+386pp, €149,95 HB.Ilkka Niiniluoto - 2010 - Metascience 20 (3):549-552.
Päivi Hannele Jussila, Peter Abelard on Imagery: Theory and Practice with Special Reference to His Hymns. (Suomalaisen Tiedeakatemian Toimituksia/Annales Academiae Scientiarum Fennicae, B/280.) Helsinki: Suomalainen Tiedeakatemia, 1995. Paper. Pp. xviii, 237; tables. FIM 140. Distributed by Tiedekirja, Kirkkokatu 14, 00170 Helsinki, Finland. [REVIEW]Constant Mews - 1999 - Speculum 74 (1):195-196.

Analytics

Added to PP
2016-06-30

Downloads
17 (#849,202)

6 months
6 (#512,819)

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

No references found.

Add more references