Review: S. R. Kogalovskij, On the Semantics of the Theory of Types [Book Review]

Journal of Symbolic Logic 37 (1):193-194 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Formal semantics in modern type theories with coercive subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
Propositions as games as types.Aarne Ranta - 1988 - Synthese 76 (3):377 - 395.
Records and record types in semantic theory.Robin Cooper - unknown
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
A relational formulation of the theory of types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
Review: S. R. Kogalovskij, O Kvaziproektivnyh Klassah Modelej. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-401.
Review: S. R. Kogalovskij, On Universal Classes of Algebras. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):400-401.
Review: S. R. Kogalovskij, Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):338-339.
Review: S. R. Kogalovskij, O Kompaktnyh Klassah Algebraiceskih Sistem. [REVIEW]Leszek Pacholski - 1974 - Journal of Symbolic Logic 39 (2):339-339.
Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes. [REVIEW]Leszek Pacholski - 1972 - Journal of Symbolic Logic 37 (2):401-402.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Review: S. R. Kogalovskij, Universal Classes of Models; Tadashi Ohkuma, Ultrapowers in Categories. [REVIEW]Anne Preller - 1972 - Journal of Symbolic Logic 37 (2):402-402.
The handbook of contemporary semantic theory.Shalom Lappin (ed.) - 1996 - Cambridge, Mass., USA: Blackwell Reference.
Russell's Relations, Wittgenstein's Objects, and the Theory of Types.Giorgio Lando - 2012 - Teorema: International Journal of Philosophy (2):21-35.

Analytics

Added to PP
2013-11-22

Downloads
5 (#1,510,250)

6 months
3 (#992,474)

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