Syntactically free, semantically bound. A note on variables

Notre Dame Journal of Formal Logic 9 (2):167-170 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093893413

Other Versions

No versions found

Links

PhilArchive



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

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

Leblanc Hugues and Belnap Nuel D. Jr., Intuitionism reconsidered. Notre Dame journal of formal logic, vol. 3 , pp. 79–82. [REVIEW]A. Heyting - 1963 - Journal of Symbolic Logic 28 (3):256-256.
A note on universally free description theory.A. P. Rao - 1975 - Notre Dame Journal of Formal Logic 16 (4):539-542.
Hugues Leblanc. Preface. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. ix–x. - Hugues Leblanc. Introduction. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 3–16. - Hugues Leblanc and T. Hailperin. Non-designating singular terms. A revised reprint of XXV 87. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 17–21. - Hugues Leblanc and R. H. Thomason. Completeness theorems for some presupposition-free logics. A revised reprint of XXXVII 424. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 22–57. - Hugues Leblanc and R. K. Meyer. On prefacing ⊃ A with : a free quantification theory without identity. Existence, truth, and provability, by Hugues Leblanc, State University of New York Press, Albany1982, pp. 58–75. , pp. 447–462. - Hugues Leblanc. Truth-value seman. [REVIEW]Ermanno Bencivenga - 1985 - Journal of Symbolic Logic 50 (1):227-231.
Substitutions for predicate variables and functional variables.Hubert H. Schneider - 1980 - Notre Dame Journal of Formal Logic 21 (1):33-44.
A modal logic with temporal variables.Tobias Chapman - 1978 - Notre Dame Journal of Formal Logic 19 (4):558-578.
Two Views of Variables.John T. Kearns - 1969 - Notre Dame Journal of Formal Logic 10 (2):163-180.
Hintikka's free logic is not free.Henri J. Sarlet - 1977 - Notre Dame Journal of Formal Logic 18 (3):458-458.
On the number of variables in the axioms.M. D. Gladstone - 1970 - Notre Dame Journal of Formal Logic 11 (1):1-15.
Modal logic with functorial variables and a contingent constant.C. A. Meredith & A. N. Prior - 1965 - Notre Dame Journal of Formal Logic 6 (2):99-109.
A note on contrariety.George Englebretsen - 1974 - Notre Dame Journal of Formal Logic 15 (4):613-614.

Analytics

Added to PP
2010-08-24

Downloads
37 (#611,069)

6 months
6 (#862,561)

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