Willard Van Orman Quine

Publication Activity (10 Years)

Years Active: 1936-1994
Publications (10 Years): 0

Publications

Willard Van Orman Quine
Promoting extensionality. Synth. 98 (1) (1994)
Willard Van Orman Quine
Predicate Functors Revisited. J. Symb. Log. 46 (3) (1981)
Willard Van Orman Quine
On Formulas with Valid Cases. J. Symb. Log. 21 (2) (1956)
Willard Van Orman Quine
Unification of Universes in Set Theory. J. Symb. Log. 21 (3) (1956)
Willard Van Orman Quine
A Proof Procedure for Quantification Theory. J. Symb. Log. 20 (2) (1955)
Willard Van Orman Quine
Quantification and the Empty Domain. J. Symb. Log. 19 (3) (1954)
Willard Van Orman Quine
Reduction to a Dyadic Predicate. J. Symb. Log. 19 (3) (1954)
Willard Van Orman Quine
Interpretations of Sets of Conditions. J. Symb. Log. 19 (2) (1954)
Willard Van Orman Quine
On omega;-Inconsistency and a So-Called Axiom of Infinity. J. Symb. Log. 18 (2) (1953)
Alonzo Church, Willard Van Orman Quine
Some Theorems on Definability and Decidability. J. Symb. Log. 17 (3) (1952)
William Craig, Willard Van Orman Quine
On Reduction to a Symmetric Relation. J. Symb. Log. 17 (3) (1952)
Willard Van Orman Quine
On Natural Deduction. J. Symb. Log. 15 (2) (1950)
Willard Van Orman Quine
The Problem of Interpreting Modal Logic. J. Symb. Log. 12 (2) (1947)
Nelson Goodman, Willard Van Orman Quine
Steps Toward a Constructive Nominalism. J. Symb. Log. 12 (4) (1947)
Willard Van Orman Quine
On Universals. J. Symb. Log. 12 (3) (1947)
Willard Van Orman Quine
Concatenation as a Basis for Arithmetic. J. Symb. Log. 11 (4) (1946)
Willard Van Orman Quine
On Relations as Coextensive with Classes. J. Symb. Log. 11 (3) (1946)
Willard Van Orman Quine
On Ordered Pairs. J. Symb. Log. 10 (3) (1945)
Willard Van Orman Quine
On the Logic of Quantification. J. Symb. Log. 10 (1) (1945)
Willard Van Orman Quine
On Existence Conditions for Elements and Classes. J. Symb. Log. 7 (4) (1942)
Willard Van Orman Quine
Element and Number. J. Symb. Log. 6 (4) (1941)
Willard Van Orman Quine, Nelson Goodman
Elimination of Extra-Logical Postulates. J. Symb. Log. 5 (3) (1940)
Willard Van Orman Quine
On the Theory of Types. J. Symb. Log. 3 (4) (1938)
Willard Van Orman Quine
Completeness of the Propositional Calculus. J. Symb. Log. 3 (1) (1938)
Willard Van Orman Quine
Logic based on Inclusion and Abstraction. J. Symb. Log. 2 (4) (1937)
Willard Van Orman Quine
On Cantor's Theorem. J. Symb. Log. 2 (3) (1937)
Willard Van Orman Quine
On Derivability. J. Symb. Log. 2 (3) (1937)
Willard Van Orman Quine
Toward a Calculus of Concepts. J. Symb. Log. 1 (1) (1936)
Willard Van Orman Quine
Set-Theoretic Foundations for Logic. J. Symb. Log. 1 (2) (1936)