On the first-order logic of terms

Journal of Symbolic Logic 38 (2):177-188 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272053

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.
Review: Lars Svenonius, A Proposal for a Restriction on the Means of Expression in the Predicate Calculus. [REVIEW]Dagfinn Follesdai - 1968 - Journal of Symbolic Logic 33 (1):137-137.
Lars Svenonius. Some problems in logical model-theory. Library of Theoria, no. IV. C. W. K. Gleerup, Lund, and Ejnar Munksgaard, Copenhagen, 1960, 43 pp. [REVIEW]William Hanf - 1966 - Journal of Symbolic Logic 31 (3):505-506.
Lars Svenonius. Ett förslag till en begränsning av uttrycksmedlen i predikatlogiken . Filosofiska studier tillägnade Konrad Marc-Wogau den 4 April 1962, edited by Ann-Mari Henschen-Dahlquist, mimeographcd, Filosofiska Föreningen i Uppsala, Uppsala1962, pp. pp. 113–123. [REVIEW]Dagfinn Føllesdal - 1968 - Journal of Symbolic Logic 33 (1):137.
Svenonius Sentences and Lindström's Theory on Preservation Theorems.M. Makkai - 1975 - Journal of Symbolic Logic 40 (4):635-635.
Makkai M.. Svenonius sentences and Lindström's theory on preservation theorems. Fundamenta mathematicae, vol. 73 no. 3 , pp. 219–233. [REVIEW]G. Fuhrken - 1975 - Journal of Symbolic Logic 40 (4):635-635.
Vaught R. L.. Denumerable models of complete theories. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September, 1959, Państwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford, London, New York, and Paris, 1961, pp. 303–321.Svenonius Lars. On minimal models of first-order systems. Theoria , vol. 26 , pp. 44–52.Engeler Erwin. Unendliche Formeln in der Modell-theorie. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 154–160.Fuhrken Gebhard. Bemerkung zu einer Arbeit E. Engelers. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 , pp. 277–279. [REVIEW]H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.
Characterizing downwards closed, strongly first-order, relativizable dependencies.Pietro Galliani - 2019 - Journal of Symbolic Logic 84 (3):1136-1167.
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.

Analytics

Added to PP
2009-01-28

Downloads
36 (#626,850)

6 months
14 (#227,991)

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

Mathematical Logic.D. G. Londey - 1968 - Philosophical Quarterly 18 (72):273-275.
Provability in Logic.F. H. Fischer - 1957 - Journal of Symbolic Logic 23 (1):37-38.

Add more references