Dolph Ulrich

18 papers Journal 18
YearRankTypeTitle / Venue / Authors
2002 J jnl
Vanquishing the XCB Question: The Methodological Discovery of the Last Shortest Single Axiom for the Equivalential Calculus.
J. Autom. Reason.
Larry Wos, Dolph Ulrich, Branden Fitelson
2002 J jnl
Vanquishing the XCB Question: The Methodology Discovery of the Last Shortest Single Axiom for the Equivalential Calculus
CoRR
Larry Wos, Dolph Ulrich, Branden Fitelson
2002 J jnl
XCB, the Last of the Shortest Single Axioms for the Classical Equivalential Calculus
CoRR
Larry Wos, Dolph Ulrich, Branden Fitelson
2001 J jnl
A Legacy Recalled and a Tradition Continued.
J. Autom. Reason.
Dolph Ulrich
1996 J jnl
The shortest possible length of the longest implicational axiom.
J. Philos. Log.
Dolph Ulrich
1992 J jnl
On the Incompleteness of a Descending Chain of Extensions of Implicational S5.
Math. Log. Q.
Dolph Ulrich
1988 J jnl
A five-valued model of the E-p-q-theses.
Notre Dame J. Formal Log.
Dolph Ulrich
1985 J jnl
A Descending Chain of Incomplete Extensions of Implicational S 5.
Math. Log. Q.
Dolph Ulrich
1984 J jnl
Answer to a Question Suggested by Schumm.
Math. Log. Q.
Dolph Ulrich
1983 J jnl
The finite model property and recursive bounds on the size of countermodels.
J. Philos. Log.
Dolph Ulrich
1981 J jnl
RMLC: solution to a problem left open by Lemmon.
Notre Dame J. Formal Log.
Dolph Ulrich
1981 J jnl
Strict Implication in A Sequence of Extensions of S4.
Math. Log. Q.
Dolph Ulrich
1978 J jnl
Semantics for S4.1.2.
Notre Dame J. Formal Log.
Dolph Ulrich
1976 J jnl
Generalization of a Result of Pahi's.
Math. Log. Q.
Dolph Ulrich
1976 J jnl
On a Property of Matrices for Subsystems of IC
Math. Log. Q.
Dolph Ulrich
1976 J jnl
On a modal system of R. A. Bull's.
Notre Dame J. Formal Log.
Dolph Ulrich
1974 J jnl
Erratum: "Some results concerning finite models for sentential calculi".
Notre Dame J. Formal Log.
Dolph Ulrich
1972 J jnl
Some results concerning finite models for sentential calculi.
Notre Dame J. Formal Log.
Dolph Ulrich