| Publication | Date of Publication | Type |
|---|
Axiom sets equivalent to syllogism and Peirce
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
One dimension in PS and PSI
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3492626 (Why is no real title available?) | 1976-01-01 | Paper |
Simple implicational development
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Nice implicational axioms
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Shorter development of an axiom
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
On Meredith's sole positive axiom
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
On a passage of Aristotle
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3427311 (Why is no real title available?) | 1974-01-01 | Paper |
Unusual feature of S3\(^*\)
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Further extensions of S3\(^*\)
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
A proof of a theorem of Lukasiewicz
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
In memoriam A. N. Prior (1912-1969)
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
Final word on a shortest implicational axiom
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
In memoriam Edward John Lemmon (1930-1966)
Notre Dame Journal of Formal Logic | 1968-01-01 | Paper |
| scientific article; zbMATH DE number 3271452 (Why is no real title available?) | 1968-01-01 | Paper |
Replacement in some modal systems
Journal of Symbolic Logic | 1968-01-01 | Paper |
Three-valued propositional fragments with classical implication
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
A theorem on S4.2 and S4.4
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
Decision for K4
Notre Dame Journal of Formal Logic | 1967-01-01 | Paper |
| scientific article; zbMATH DE number 3273107 (Why is no real title available?) | 1965-01-01 | Paper |
Modal systems in the neighbourhood of T
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Decision procedures for \(S2^ 0\) and \(T^ 0\)
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Universal variable non-Tarskian functors
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Ten modal models
Journal of Symbolic Logic | 1964-01-01 | Paper |
\(S1^\circ\) and Brouwerian axioms
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
\(S1^\circ\) and generalized S5-axioms
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
A final note on S\(1^ 0\) and the Brouwerian axioms
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
Finite limitations on Dummett's LC
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
Solutions of five modal problems of Sobocinski
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3185949 (Why is no real title available?) | 1962-01-01 | Paper |
Independence of Tarski's law in Henkin's propositional fragments
Notre Dame Journal of Formal Logic | 1960-01-01 | Paper |
Functional completeness of Henkin's propositional fragments
Notre Dame Journal of Formal Logic | 1960-01-01 | Paper |
Independence of Faris-rejection axioms
Notre Dame Journal of Formal Logic | 1960-01-01 | Paper |
A 12th century paradox of the infinite
Journal of Symbolic Logic | 1959-01-01 | Paper |
Axioms for the “Gergonne”-relations
Journal of Symbolic Logic | 1959-01-01 | Paper |
Eulerian syllogistic
Journal of Symbolic Logic | 1957-01-01 | Paper |
| scientific article; zbMATH DE number 3111895 (Why is no real title available?) | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3062931 (Why is no real title available?) | 1950-01-01 | Paper |
