| Axiom sets equivalent to syllogism and Peirce. | 0 | 0.34 | 1976 |
| One dimension in PS and PSI. | 0 | 0.34 | 1976 |
| Shorter development of an axiom. | 3 | 0.47 | 1975 |
| Simple implicational development. | 0 | 0.34 | 1975 |
| Nice implicational axioms. | 1 | 0.36 | 1975 |
| On a passage of Aristotle. | 0 | 0.34 | 1974 |
| Unusual feature of $S3^\ast$. | 0 | 0.34 | 1973 |
| Further extensions of $S3^\ast$. | 0 | 0.34 | 1973 |
| A proof of a theorem of Łukasiewicz. | 0 | 0.34 | 1971 |
| In memoriam A. N. Prior (1914-1969). | 0 | 0.34 | 1971 |
| Final word on a shortest implicational axiom. | 1 | 0.36 | 1970 |
| The rule of Peirce. | 0 | 0.34 | 1968 |
| Replacement In Some Modal Systems | 0 | 0.34 | 1968 |
| In memoriam: Edward John Lemmon (1930 - 1966). | 0 | 0.34 | 1968 |
| Decision for K4. | 1 | 0.39 | 1967 |
| A theorem on S4.2 and S4.4. | 0 | 0.34 | 1967 |
| Three-valued propositional fragments with classical implication. | 0 | 0.34 | 1967 |
| The written liar and Thomas Oliver. | 0 | 0.34 | 1965 |
| Universal variable non-Tarskian functors. | 0 | 0.34 | 1964 |
| Decision procedures for S20 and T0. | 0 | 0.34 | 1964 |
| Modal systems in the neighbourhood of T. | 0 | 0.34 | 1964 |
| Ten Modal Models | 0 | 0.34 | 1964 |
| A note on self-referential statements. | 0 | 0.34 | 1964 |
| A final note on S1° and the Brouwerian axioms. | 0 | 0.34 | 1963 |
| S1° and Brouwerian axioms. | 0 | 0.34 | 1963 |
| S1° and generalized S5-axioms. | 0 | 0.34 | 1963 |
| On the infinity of positive logic. | 0 | 0.34 | 1962 |
| Solutions of five modal problems of Sobociński. | 0 | 0.34 | 1962 |
| Finite limitations on Dummet's LC. | 6 | 1.61 | 1962 |
| The rule of excision in positive implication. | 1 | 0.36 | 1962 |
| Independence of Faris-rejection-axioms. | 0 | 0.34 | 1960 |
| Independence of Tarski's law in Henkin's propositional fragments. | 1 | 0.38 | 1960 |
| Functional completeness of Henkin's propositional fragments. | 0 | 0.34 | 1960 |
| Axioms for the "Gergonne"-Relations | 0 | 0.34 | 1959 |
| A 12th Century Paradox of the Infinite | 0 | 0.34 | 1958 |
| Eulerian Syllogistic | 0 | 0.34 | 1957 |
