Generalisation of first-order logic to nonatomic domains

Journal of Symbolic Logic 50 (3):815-838 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274334

Other Versions

No versions found

Links

PhilArchive

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

L. P. Belluce and C. C. Chang. A weak completeness theorem for infinite valued first-order logic. The journal of symbolic logic, vol. 28 no. 1 , pp. 43–50.Bruno Scarpellini - 1971 - Journal of Symbolic Logic 36 (2):332.
The ground-negative fragment of first-order logic is πp2-complete.Andrei Voronkov - 1999 - Journal of Symbolic Logic 64 (3):984 - 990.
Roland Fraïssé. Une généralisation de l'ultraproduit. The journal of symbolic logic, vol. 31 , pp. 235–244.Solomon Feferman - 1975 - Journal of Symbolic Logic 40 (3):457.
A generalisation of productive set.R. Mitchell - 1966 - Journal of Symbolic Logic 31 (3):455-459.
An Alternative Generalisation of the Concept of Duality.Alan Rose - 1971 - Journal of Symbolic Logic 36 (4):690-691.
Une generalisation de l'ultraproduit.Roland Fraïssé - 1966 - Journal of Symbolic Logic 31 (2):235 - 244.
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part II. Deductive completeness. The journal of symbolic logic, vol. 16, pp. 22–34. See Errata, ibid., p. iv.Burton Spencer Dreben, J. B. Rosser & A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):269.
A generalisation of the concept of a relational model for modal logic.David Makinson - 1970 - Theoria 36 (3):331-335.
David Makinson. A generalisation of the concept of a relational model for modal logic. Theoria , vol. 36 , pp. 331–335.S. K. Thomason - 1973 - Journal of Symbolic Logic 38 (3):520.

Analytics

Added to PP
2009-01-28

Downloads
146 (#294,224)

6 months
45 (#183,785)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
The Aristotelian Continuum. A Formal Characterization.Peter Roeper - 2006 - Notre Dame Journal of Formal Logic 47 (2):211-232.
First- and second-order logic of mass terms.Peter Roeper - 2004 - Journal of Philosophical Logic 33 (3):261-297.
A variable-free logic for mass terms.William C. Purdy - 1992 - Notre Dame Journal of Formal Logic 33 (3):348-358.

Add more citations

References found in this work

No references found.

Add more references