Department of Philosophy
Site Contents
Dolph E. Ulrich
Professor, Philosophy
| Education: | PhD, Wayne State University |
| Office: | BRNG 7132 |
| Office Phone: | (765) 49-44292 |
| Email: | |
| Specializations: | Logic, Metalogic |
Selected Publications
Articles
- “D-complete axioms for the classical equivalential calculus,” Bulletin of the Section of Logic (University of Lódz) 31 (2005): 135-142.
- “XCB, the last of the shortest single axioms for the equivalential calculus” (with Larry Wos and Branden Fitelson), Bulletin of the Section of Logic (University of Lódz) 29 (2003): 131-136.
- “A legacy recalled and a tradition continued,” Journal of Automated Reasoning 27 (2001): 97-122.
- “The shortest possible length of the longest implicational axiom,” Journal of Philosophical Logic 25 (1996): 101-108.
- “On the characterization of sentential calculi by finite matrices,” Reports on Mathematical Logic 20 (1986): 63-86.
- “A descending chain of incomplete extensions of implicational S5,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 31 (1985): 201-208.
- “The finite model property and recursive bounds on the size of countermodels,” Journal of Philosophical Logic 12 (1983): 477-480.
- “Strict implication in a sequence of extensions of S4,” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 27 (1981): 201-212.
-
"Some results concerning finite models for sentential calculi," Notre Dame Journal of Formal Logic 13 (1972): 363-368.
Text book
-
Elementary Symbolic Logic (with William Gustason), 2nd ed. Waveland Press: Prospect Heights, 1989.
Work in Progress
- Several articles on new single axioms for various sentential calculi.
-
An article introducing the new two-base {Cpp, CCCpqrCCCqstCCtqr} for classical implication to answer an open question first posed by Prior half a century ago.