Dolph Ulrich

According to our database, Dolph Ulrich authored at least 18 papers between 1972 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2002

Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.

Larry Wos, Dolph Ulrich, Branden Fitelson

J. Autom. Reason., 2002

XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus

Larry Wos, Dolph Ulrich, Branden Fitelson

CoRR, 2002

Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus

Larry Wos, Dolph Ulrich, Branden Fitelson

CoRR, 2002

2001

A Legacy Recalled and a Tradition Continued.

Dolph Ulrich

J. Autom. Reason., 2001

1996

The shortest possible length of the longest implicational axiom.

Dolph Ulrich

J. Philos. Log., 1996

1992

On the Incompleteness of a Descending Chain of Extensions of Implicational S5.

Dolph Ulrich

Math. Log. Q., 1992

1988

A five-valued model of the E-p-q-theses.

Dolph Ulrich

Notre Dame J. Formal Log., 1988

1985

A Descending Chain of Incomplete Extensions of Implicational S 5.

Dolph Ulrich

Math. Log. Q., 1985

1984

Answer to a Question Suggested by Schumm.

Dolph Ulrich

Math. Log. Q., 1984

1983

The finite model property and recursive bounds on the size of countermodels.

Dolph Ulrich

J. Philos. Log., 1983

1981

RMLC: solution to a problem left open by Lemmon.

Dolph Ulrich

Notre Dame J. Formal Log., 1981

Strict Implication in A Sequence of Extensions of S4.

Dolph Ulrich

Math. Log. Q., 1981

1978

Semantics for S4.1.2.

Dolph Ulrich

Notre Dame J. Formal Log., 1978

1976

On a modal system of R. A. Bull's.

Dolph Ulrich

Notre Dame J. Formal Log., 1976

Generalization of a Result of Pahi's.

Dolph Ulrich

Math. Log. Q., 1976

On a Property of Matrices for Subsystems of IC⁺.

Dolph Ulrich

Math. Log. Q., 1976

1974

Erratum: "Some results concerning finite models for sentential calculi".

Dolph Ulrich

Notre Dame J. Formal Log., 1974

1972

Some results concerning finite models for sentential calculi.

Dolph Ulrich

Notre Dame J. Formal Log., 1972