| Publication | Date of Publication | Type |
|---|
A logical analysis of some value concepts
Journal of Symbolic Logic | 2000-08-28 | Paper |
Correction to a definition of negation
Journal of Symbolic Logic | 1984-01-01 | Paper |
The consistency of system Q
Journal of Symbolic Logic | 1981-01-01 | Paper |
A consistent combinatory logic with an inverse to equality
Journal of Symbolic Logic | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3769598 (Why is no real title available?) | 1980-01-01 | Paper |
A correlation between modal reduction principles and properties of relations
Journal of Philosophical Logic | 1973-01-01 | Paper |
Correction to a paper on modal set theory
Journal of Symbolic Logic | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3273883 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3307573 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3315161 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3286006 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3304064 (Why is no real title available?) | 1969-01-01 | Paper |
A note on recursive relations
Journal of Symbolic Logic | 1968-01-01 | Paper |
A complete and consistent modal set theory
Journal of Symbolic Logic | 1967-01-01 | Paper |
The system CΔ of combinatory logic
Journal of Symbolic Logic | 1964-01-01 | Paper |
Algebraic simplification of redundant sequential circuits
Synthese | 1963-01-01 | Paper |
| scientific article; zbMATH DE number 3178638 (Why is no real title available?) | 1959-01-01 | Paper |
An extensional variety of extended basic logic
Journal of Symbolic Logic | 1958-01-01 | Paper |
A definition of existence in terms of abstraction and disjunction
Journal of Symbolic Logic | 1958-01-01 | Paper |
Recursive functions in basic logic
Journal of Symbolic Logic | 1957-01-01 | Paper |
A definition of negation in extended basic logic
Journal of Symbolic Logic | 1954-01-01 | Paper |
A simplification of basic logic
Journal of Symbolic Logic | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3083494 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3076631 (Why is no real title available?) | 1952-01-01 | Paper |
A demonstrably consistent mathematics—Part II
Journal of Symbolic Logic | 1951-01-01 | Paper |
A further consistent extension of basic logic
Journal of Symbolic Logic | 1950-01-01 | Paper |
A demonstrably consistent mathematics—Part I
Journal of Symbolic Logic | 1950-01-01 | Paper |
The Heine-Borel theorem in extended basic logic
Journal of Symbolic Logic | 1949-01-01 | Paper |
On natural numbers, integers, and rationals
Journal of Symbolic Logic | 1949-01-01 | Paper |
| scientific article; zbMATH DE number 3054619 (Why is no real title available?) | 1948-01-01 | Paper |
| scientific article; zbMATH DE number 3052388 (Why is no real title available?) | 1948-01-01 | Paper |
An extension of basic logic
Journal of Symbolic Logic | 1948-01-01 | Paper |
Corrections to two papers on modal logic
Journal of Symbolic Logic | 1948-01-01 | Paper |
Representations of calculi
Journal of Symbolic Logic | 1944-01-01 | Paper |
A minimum calculus for logic
Journal of Symbolic Logic | 1944-01-01 | Paper |
A basic logic
Journal of Symbolic Logic | 1942-01-01 | Paper |
Ciosure and Quine's *101.
Journal of Symbolic Logic | 1941-01-01 | Paper |
Closure and Quine's *101
Journal of Symbolic Logic | 1941-01-01 | Paper |
| Mathematico-deductive theory of rote learning. A study in scientific methodology. | 1940-01-01 | Paper |
| The hypothesis that infinite classes are similar. | 1939-01-01 | Paper |
Note on modal functions
Journal of Symbolic Logic | 1939-01-01 | Paper |
The hypothesis that infinite classes are similar
Journal of Symbolic Logic | 1939-01-01 | Paper |
The consistency of the ramified principia.
Journal of Symbolic Logic | 1938-01-01 | Paper |
The consistency of the ramified Principia
Journal of Symbolic Logic | 1938-01-01 | Paper |
Modal functions in twovalued logic.
Journal of Symbolic Logic | 1937-01-01 | Paper |
Modal functions in two-valued logic
Journal of Symbolic Logic | 1937-01-01 | Paper |
A system of formal logic without an analogue to the curry W operator
Journal of Symbolic Logic | 1936-01-01 | Paper |
A formal theory of types.
Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
A system of formal logic without an analogue to the Curry \(W\) operator.
Journal of Symbolic Logic | 1936-01-01 | Paper |
| Note on Leo Abraham's ``Transformations of strict implication. | 1933-01-01 | Paper |
