W. V. Quine - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

1981

Predicate Functors RevisitedW. V. Quine. JSYML, 46(3):649-652, 1981.

1956

On Formulas with Valid CasesW. V. Quine. JSYML, 21(2):148, 1956.

Unification of Universes in Set TheoryW. V. Quine. JSYML, 21(3):267-279, 1956.

1955

A Proof Procedure for Quantification TheoryW. V. Quine. JSYML, 20(2):141-149, 1955.

1954

Reduction to a Dyadic PredicateW. V. Quine. JSYML, 19(3):180-182, 1954.

Interpretations of Sets of ConditionsW. V. Quine. JSYML, 19(2):97-102, 1954.

Quantification and the Empty DomainW. V. Quine. JSYML, 19(3):177-179, 1954.

1953

On omega;-Inconsistency and a So-Called Axiom of InfinityW. V. Quine. JSYML, 18(2):119-124, 1953.

1952

Some Theorems on Definability and DecidabilityAlonzo Church, W. V. Quine. JSYML, 17(3):179-187, 1952.

On Reduction to a Symmetric RelationWilliam Craig, W. V. Quine. JSYML, 17(3):188, 1952.

1950

On Natural DeductionW. V. Quine. JSYML, 15(2):93-102, 1950.

1947

Steps Toward a Constructive NominalismNelson Goodman, W. V. Quine. JSYML, 12(4):105-122, 1947.

The Problem of Interpreting Modal LogicW. V. Quine. JSYML, 12(2):43-48, 1947.

On UniversalsW. V. Quine. JSYML, 12(3):74-84, 1947.

1946

Concatenation as a Basis for ArithmeticW. V. Quine. JSYML, 11(4):105-114, 1946.

On Relations as Coextensive with ClassesW. V. Quine. JSYML, 11(3):71-72, 1946.

1945

On the Logic of QuantificationW. V. Quine. JSYML, 10(1):1-12, 1945.

On Ordered PairsW. V. Quine. JSYML, 10(3):95-96, 1945.

1942

On Existence Conditions for Elements and ClassesW. V. Quine. JSYML, 7(4):157-159, 1942.

1941

Element and NumberW. V. Quine. JSYML, 6(4):135-149, 1941.

1940

Elimination of Extra-Logical PostulatesW. V. Quine, Nelson Goodman. JSYML, 5(3):104-109, 1940.

1938

Completeness of the Propositional CalculusW. V. Quine. JSYML, 3(1):37-40, 1938.

On the Theory of TypesW. V. Quine. JSYML, 3(4):125-139, 1938.

1937

On Cantor s TheoremW. V. Quine. JSYML, 2(3):120-124, 1937.

On DerivabilityW. V. Quine. JSYML, 2(3):113-119, 1937.

Logic based on Inclusion and AbstractionW. V. Quine. JSYML, 2(4):145-152, 1937.

1936

Toward a Calculus of ConceptsW. V. Quine. JSYML, 1(1):2-25, 1936.

Set-Theoretic Foundations for LogicW. V. Quine. JSYML, 1(2):45-57, 1936.

Sign in or sign up to see more results.

runs on WebDSL