Dolph Ulrich

Publication Activity (10 Years)

Years Active: 1972-2002
Publications (10 Years): 0

Publications

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