| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 1983462 (Why is no real title available?) | 2003-09-21 | Paper |
| scientific article; zbMATH DE number 3165924 (Why is no real title available?) | 1960-01-01 | Paper |
| scientific article; zbMATH DE number 3079157 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3079158 (Why is no real title available?) | 1953-01-01 | Paper |
Systems of modal logic which are not unreasonable in the sense of Halldén Journal of Symbolic Logic | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3076933 (Why is no real title available?) | 1952-01-01 | Paper |
Some notions and problems of game theory Bulletin of the American Mathematical Society | 1952-01-01 | Paper |
A simplifiction of games in extensive form Duke Mathematical Journal | 1951-01-01 | Paper |
| scientific article; zbMATH DE number 3062457 (Why is no real title available?) | 1950-01-01 | Paper |
| scientific article; zbMATH DE number 3048212 (Why is no real title available?) | 1949-01-01 | Paper |
Some theorems about the sentential calculi of Lewis and Heyting Journal of Symbolic Logic | 1948-01-01 | Paper |
On the Representation of Projective Algebras American Journal of Mathematics | 1948-01-01 | Paper |
Algebras and their subalgebras Bulletin of the American Mathematical Society | 1947-01-01 | Paper |
On closed elements in closure algebras Annals of Mathematics. Second Series | 1946-01-01 | Paper |
On the syntactical construction of systems of modal logic Journal of Symbolic Logic | 1945-01-01 | Paper |
The algebra of topology Annals of Mathematics. Second Series | 1944-01-01 | Paper |
On the number of complete extensions of the Lewis systems of sentential calculus Journal of Symbolic Logic | 1944-01-01 | Paper |
The decision problem for some classes of sentences without quantifiers Journal of Symbolic Logic | 1943-01-01 | Paper |
A solution of the decision problem for the Lewis systems \(S2\) and \(S4\), with an application to topology. Journal of Symbolic Logic | 1941-01-01 | Paper |
Postulates for the calculus of binary relations Journal of Symbolic Logic | 1940-01-01 | Paper |
A correction to Lewis and Langford's Symbolic logic Journal of Symbolic Logic | 1940-01-01 | Paper |
A correction to Lewis and Langford's ``Symbolic Logic. Journal of Symbolic Logic | 1940-01-01 | Paper |
Proof that there are infinitely many modalities in Lewis's system \(S_2\). Journal of Symbolic Logic | 1940-01-01 | Paper |
Postulates for the calculus of binary relations. Journal of Symbolic Logic | 1940-01-01 | Paper |
Proof that there are infinitely many modalities in Lewis's system S2 Journal of Symbolic Logic | 1940-01-01 | Paper |
| Practical mathematics. 2. Aufl. durchges. d. J. R. Dalzell. | 1940-01-01 | Paper |
Proof of the independence of the primitive symbols of Heyting's calculus of propositions Journal of Symbolic Logic | 1939-01-01 | Paper |
A note on Reichenbach's axioms for probability implication. Bulletin of the American Mathematical Society | 1939-01-01 | Paper |
Proof of the independence of the primitive symbols of Heyting's calculus of propositions. Journal of Symbolic Logic | 1939-01-01 | Paper |
A note on Reichenbach’s axioms for probability implication Bulletin of the American Mathematical Society | 1939-01-01 | Paper |
A set of postulates for Boolean algebra. Bulletin of the American Mathematical Society | 1937-01-01 | Paper |
A condition that a first Boolean function vanish whenever a second does not. Bulletin of the American Mathematical Society | 1937-01-01 | Paper |
A set of postulates for Boolean algebra Bulletin of the American Mathematical Society | 1937-01-01 | Paper |
A condition that a first Boolean function vanish whenever a second does not Bulletin of the American Mathematical Society | 1937-01-01 | Paper |
On the generation of the functions 𝐶_{𝑝}𝑞 and 𝑁_{𝑝} of Lukasiewicz and Tarski by means of a single binary operation Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
| On Boolean Functions of Many Variables | 1936-01-01 | Paper |
Boolean functions and points Duke Mathematical Journal | 1936-01-01 | Paper |
Reducible Boolean functions. Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
Boolean functions and points. Duke Mathematical Journal | 1936-01-01 | Paper |
On the independence of Hilbert and Ackermann's postulates for the calculus of propositional functions. American Journal of Mathematics | 1936-01-01 | Paper |
On Boolean functions of \(n\) variables. Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
On the generation of the functions \(C_{pq}\) and \(N_p\) of Lukasiewicz and Tarski by means of a single binary operation. Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
On Boolean functions of many variables. Transactions of the American Mathematical Society | 1936-01-01 | Paper |
On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions American Journal of Mathematics | 1936-01-01 | Paper |
Reducible Boolean functions Bulletin of the American Mathematical Society | 1936-01-01 | Paper |
On the independence of undefined ideas Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
On the independence of undefined ideas. Bulletin of the American Mathematical Society | 1935-01-01 | Paper |
A reduction in number of the postulates for C. I. Lewis’ system of strict implication Bulletin of the American Mathematical Society | 1934-01-01 | Paper |
A reduction in number of the postulates for C. I. Lewis' system of strict implication. Bulletin of the American Mathematical Society | 1934-01-01 | Paper |