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 |