Willard Van Orman Quine

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