Dolph Ulrich

Available identifiers

zbMath Open ulrich.dolphMaRDI QIDQ220719

List of research outcomes

Publication	Date of Publication	Type
Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems	2020-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q5413326	2014-04-29	Paper
On two open questions concerning the implicational fragment of R-mingle	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q3433180	2007-04-27	Paper
\textbf{D}-complete axioms for the classical equivalential calculus	2007-04-25	Paper
Vanquishing the XCB question: The methodological discovery of the last shortest single axiom for the equivalential calculus	2003-04-28	Paper
A legacy recalled and a tradition continued	2002-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4489081	2000-07-09	Paper
The shortest possible length of the longest implicational axiom	1997-01-06	Paper
ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5	1995-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4315297	1994-12-08	Paper
https://portal.mardi4nfdi.de/entity/Q3491521	1990-01-01	Paper
A five-valued model of the E-p-q-theses	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3781078	1986-01-01	Paper
A Descending Chain of Incomplete Extensions of Implicational S 5	1985-01-01	Paper
ANSWER TO A QUESTION SUGGESTED BY SCHUMM	1984-01-01	Paper
The finite model property and recursive bounds on the size of countermodels	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3684107	1983-01-01	Paper
RMLC: Solution to a problem left open by Lemmon	1981-01-01	Paper
Semantics for S4.1.2	1978-01-01	Paper
On a modal system of R. A. Bull's	1976-01-01	Paper
On a Property of Matrices for Subsystems of IC+	1976-01-01	Paper
Generalization of a Result of Pahi's	1976-01-01	Paper
Some results concerning finite models for sentential calculi	1972-01-01	Paper
Shorter Note: Solution to a Problem Posed by Kalicki	1969-01-01	Paper

Research outcomes over time

This page was built for person: Dolph Ulrich