Substitutions for predicate variables and functional variables

Notre Dame Journal of Formal Logic 21 (1):33-44 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882937

Other Versions

No versions found

Links

PhilArchive



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

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

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.
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.
Generalized Hardy fields in several variables.Leonardo Pasini - 1988 - Notre Dame Journal of Formal Logic 29 (2):193-197.
Syntactically free, semantically bound. A note on variables.Hugues Leblanc - 1968 - Notre Dame Journal of Formal Logic 9 (2):167-170.
A theory of restricted variables without existence assumptions.Margaret Murphy Prullage - 1976 - Notre Dame Journal of Formal Logic 17 (4):589-612.
Individual concepts as propositional variables in "ML"v"+1.Alberto Zanardo - 1984 - Notre Dame Journal of Formal Logic 25:332-346.
Metalogical cliches (proto-variables) and their restricted substitution in sixth century Buddhist logic.Douglas Dunsmore Daye - 1979 - Notre Dame Journal of Formal Logic 20 (3):549-558.
Hubert H. Schneider. Semantics of the predicate calculus with identity and the validity in the empty individual-domain. Portugaliae mathematica, vol. 17 , pp. 85–96. - Hubert H. Schneider. A syntactical characterization of the predicate calculus with identity and the validity in all individual-domains. Portugaliae mathematica, vol 20 , pp. 105–117. [REVIEW]Theodore Hailperin - 1965 - Journal of Symbolic Logic 30 (3):385-386.

Analytics

Added to PP
2010-08-24

Downloads
20 (#1,055,588)

6 months
10 (#444,744)

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