We stand with Ukraine  

Willard Van Orman Quine

According to our database1, Willard Van Orman Quine authored at least 29 papers between 1936 and 1994.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1994
Promoting extensionality.
[BibTeX]
[DOI]
Willard Van Orman Quine
Synth., 1994

1981
Predicate Functors Revisited.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1981

1956
Unification of Universes in Set Theory.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1956

On Formulas with Valid Cases.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1956

1955
A Proof Procedure for Quantification Theory.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1955

1954
Reduction to a Dyadic Predicate.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1954

Quantification and the Empty Domain.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1954

Interpretations of Sets of Conditions.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1954

1953
On omega;-Inconsistency and a So-Called Axiom of Infinity.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1953

1952
On Reduction to a Symmetric Relation.
[BibTeX]
[DOI]
William Craig
,
Willard Van Orman Quine
J. Symb. Log., 1952

Some Theorems on Definability and Decidability.
[BibTeX]
[DOI]
Alonzo Church
,
Willard Van Orman Quine
J. Symb. Log., 1952

1950
On Natural Deduction.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1950

1947
On Universals.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1947

The Problem of Interpreting Modal Logic.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1947

Steps Toward a Constructive Nominalism.
[BibTeX]
[DOI]
Nelson Goodman
,
Willard Van Orman Quine
J. Symb. Log., 1947

1946
Concatenation as a Basis for Arithmetic.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1946

On Relations as Coextensive with Classes.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1946

1945
On Ordered Pairs.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1945

On the Logic of Quantification.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1945

1942
On Existence Conditions for Elements and Classes.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1942

1941
Element and Number.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1941

1940
Elimination of Extra-Logical Postulates.
[BibTeX]
[DOI]
Willard Van Orman Quine
,
Nelson Goodman
J. Symb. Log., 1940

1938
On the Theory of Types.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1938

Completeness of the Propositional Calculus.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1938

1937
Logic based on Inclusion and Abstraction.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1937

On Cantor's Theorem.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1937

On Derivability.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1937

1936
Set-Theoretic Foundations for Logic.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1936

Toward a Calculus of Concepts.
[BibTeX]
[DOI]
Willard Van Orman Quine
J. Symb. Log., 1936


  Loading...