| Publication | Date of Publication | Type |
|---|
Single axioms and axiom-pairs for the implicational fragments of \(\mathbf{R} \), R-Mingle, and some related systems
Outstanding Contributions to Logic | 2020-08-07 | Paper |
| scientific article; zbMATH DE number 6290298 (Why is no real title available?) | 2014-04-29 | Paper |
| On two open questions concerning the implicational fragment of R-mingle | 2014-04-23 | Paper |
| scientific article; zbMATH DE number 5147179 (Why is no real title available?) | 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
Journal of Automated Reasoning | 2003-04-28 | Paper |
A legacy recalled and a tradition continued
Journal of Automated Reasoning | 2002-01-07 | Paper |
| scientific article; zbMATH DE number 1471997 (Why is no real title available?) | 2000-07-09 | Paper |
The shortest possible length of the longest implicational axiom
Journal of Philosophical Logic | 1997-01-06 | Paper |
ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
Mathematical Logic Quarterly | 1995-05-16 | Paper |
| scientific article; zbMATH DE number 700343 (Why is no real title available?) | 1994-12-08 | Paper |
| scientific article; zbMATH DE number 4164805 (Why is no real title available?) | 1990-01-01 | Paper |
A five-valued model of the E-p-q-theses
Notre Dame Journal of Formal Logic | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4041882 (Why is no real title available?) | 1986-01-01 | Paper |
A Descending Chain of Incomplete Extensions of Implicational S 5
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1985-01-01 | Paper |
ANSWER TO A QUESTION SUGGESTED BY SCHUMM
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1984-01-01 | Paper |
The finite model property and recursive bounds on the size of countermodels
Journal of Philosophical Logic | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3906477 (Why is no real title available?) | 1983-01-01 | Paper |
RMLC: Solution to a problem left open by Lemmon
Notre Dame Journal of Formal Logic | 1981-01-01 | Paper |
Semantics for S4.1.2
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
On a modal system of R. A. Bull's
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
On a Property of Matrices for Subsystems of IC+
Mathematical Logic Quarterly | 1976-01-01 | Paper |
Generalization of a Result of Pahi's
Mathematical Logic Quarterly | 1976-01-01 | Paper |
Some results concerning finite models for sentential calculi
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Shorter Note: Solution to a Problem Posed by Kalicki
Proceedings of the American Mathematical Society | 1969-01-01 | Paper |
