Predicate calculus with free quantifier variables

&
Journal of Symbolic Logic 34 (1):1-7 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270973

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Predicate calculus with free quantifier variables.Richmond H. Thomason & D. Randolph Johnson Jr - 1969 - Journal of Symbolic Logic 34 (1):1-7.
Wittgensteinian Predicate Logic.Kai F. Wehmeier - 2004 - Notre Dame Journal of Formal Logic 45 (1):1-11.
On a modal-type language for the predicate calculus.Dimiter Skordev - 1984 - Bulletin of the Section of Logic 13 (3):111-116.
Decidable Fragments of the Simple Theory of Types with Infinity and $mathrm{NF}$.Anuj Dawar, Thomas Forster & Zachiri McKenzie - 2017 - Notre Dame Journal of Formal Logic 58 (3):433-451.
Andrzej Mostowski. An example of a non-axiomatizable many valued logic. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 (1961), pp. 72–76. [REVIEW]G. E. Minc, V. P. Orevkov & E. Mendelson - 1970 - Journal of Symbolic Logic 35 (1):143-143.
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras.L. J. González, M. B. Lattanzi & A. G. Petrovich - 2017 - Logica Universalis 11 (4):439-463.
Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
Existence and the particular quantifier.Alex Orenstein - 1978 - Philadelphia: Temple University Press.
Choice of terms in quantifier rules of constructive predicate calculus.G. E. Mints - 1969 - Journal of Symbolic Logic 36 (3):43--46.
On the logic of natural kinds.Nino Cocchiarella - 1976 - Philosophy of Science 43 (2):202-222.
Choice of Terms in Quantifier Rules of Constructive Predicate Calculus.G. E. Mints & A. O. Slisenko - 1971 - Journal of Symbolic Logic 36 (3):525-525.
Kleene S. C.. Permutability of inferences in Gentzen's calculi LK and LJ. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 1–26.Kleene S. C.. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 27–66.Kleene S. C.. Bibliography. Two papers on the predicate calculus, by Kleene S. C. , lithographed, Providence 1952, pp. 67–68.Craig William. On axiomatizability within a system. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (1):62-63.
Functional dependencies between variables.Natasha Alechina - 2000 - Studia Logica 66 (2):273-283.
The proper treatment of variables in predicate logic.Kai F. Wehmeier - 2018 - Linguistics and Philosophy 41 (2):209-249.
Possible world semantics for first order lp.Melvin Fitting - unknown

Analytics

Added to PP
2019-04-20

Downloads
4 (#1,556,099)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Richmond Thomason
University of Michigan, Ann Arbor

Citations of this work

Life on the Range.G. Aldo Antonelli - 2015 - In A. Torza (ed.), Quantifiers, Quantifiers, and Quantifiers. Synthese LIbrary. pp. 171-189.

Add more citations

References found in this work

Add more references