| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4427409 | 2003-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3284269 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5818012 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5818013 | 1953-01-01 | Paper |
| Systems of modal logic which are not unreasonable in the sense of Halldén | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5815902 | 1952-01-01 | Paper |
| Some notions and problems of game theory | 1952-01-01 | Paper |
| A simplifiction of games in extensive form | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5801634 | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5787448 | 1949-01-01 | Paper |
| Some theorems about the sentential calculi of Lewis and Heyting | 1948-01-01 | Paper |
| On the Representation of Projective Algebras | 1948-01-01 | Paper |
| Algebras and their subalgebras | 1947-01-01 | Paper |
| On closed elements in closure algebras | 1946-01-01 | Paper |
| On the syntactical construction of systems of modal logic | 1945-01-01 | Paper |
| The algebra of topology | 1944-01-01 | Paper |
| On the number of complete extensions of the Lewis systems of sentential calculus | 1944-01-01 | Paper |
| The decision problem for some classes of sentences without quantifiers | 1943-01-01 | Paper |
| A solution of the decision problem for the Lewis systems \(S2\) and \(S4\), with an application to topology. | 1941-01-01 | Paper |
| Postulates for the calculus of binary relations | 1940-01-01 | Paper |
| A correction to Lewis and Langford's Symbolic logic | 1940-01-01 | Paper |
| A correction to Lewis and Langford's ``Symbolic Logic. | 1940-01-01 | Paper |
| Proof that there are infinitely many modalities in Lewis's system \(S_2\). | 1940-01-01 | Paper |
| Postulates for the calculus of binary relations. | 1940-01-01 | Paper |
| Proof that there are infinitely many modalities in Lewis's system S2 | 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 | 1939-01-01 | Paper |
| A note on Reichenbach's axioms for probability implication. | 1939-01-01 | Paper |
| Proof of the independence of the primitive symbols of Heyting's calculus of propositions. | 1939-01-01 | Paper |
| A note on Reichenbach’s axioms for probability implication | 1939-01-01 | Paper |
| A set of postulates for Boolean algebra. | 1937-01-01 | Paper |
| A condition that a first Boolean function vanish whenever a second does not. | 1937-01-01 | Paper |
| A set of postulates for Boolean algebra | 1937-01-01 | Paper |
| A condition that a first Boolean function vanish whenever a second does not | 1937-01-01 | Paper |
| On the generation of the functions 𝐶_{𝑝}𝑞 and 𝑁_{𝑝} of Lukasiewicz and Tarski by means of a single binary operation | 1936-01-01 | Paper |
| On Boolean Functions of Many Variables | 1936-01-01 | Paper |
| Boolean functions and points | 1936-01-01 | Paper |
| Reducible Boolean functions. | 1936-01-01 | Paper |
| Boolean functions and points. | 1936-01-01 | Paper |
| On the independence of Hilbert and Ackermann's postulates for the calculus of propositional functions. | 1936-01-01 | Paper |
| On Boolean functions of \(n\) variables. | 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. | 1936-01-01 | Paper |
| On Boolean functions of many variables. | 1936-01-01 | Paper |
| On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions | 1936-01-01 | Paper |
| Reducible Boolean functions | 1936-01-01 | Paper |
| On the independence of undefined ideas | 1935-01-01 | Paper |
| On the independence of undefined ideas. | 1935-01-01 | Paper |
| A reduction in number of the postulates for C. I. Lewis’ system of strict implication | 1934-01-01 | Paper |
| A reduction in number of the postulates for C. I. Lewis' system of strict implication. | 1934-01-01 | Paper |
