Predicate calculus with free quantifier variables

descriptionPublicationkeyboard_double_arrow_right Article 29 May 1969 English Publisher:Cambridge University Press (CUP)Journal:Journal of Symbolic Logic, volume 34, pages 1-7 (issn: 0022-4812, eissn: 1943-5886,

Copyright policy )

Authors: Richmond H. Thomason; D. Randolph Johnson Jr.;

doi: 10.2307/2270973

Predicate calculus with free quantifier variables

- Summary
- Subjects
- Metrics

Abstract

In the literature of symbolic logic there are many examples of systems having free variables ranging over truth-values, individuals, or predicates. But, though many such systems are equipped with universal and existential quantifiers (and though many other quantifiers, e.g., for exactly one, are thereby definable), the problem of free variables corresponding to such constants has been neglected.

Related Organizations

Yale University
United States

Keywords

general logic, Mathematical logic and foundations

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	2
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average