| Publication | Date of Publication | Type |
|---|
| A Strongly Complete Formalisation of a 5-Valued Propositional Calculus | 1987-01-01 | Paper |
| A Formalisation, Using non-Standard Rules, of A 5-Valued Propositional Calculus | 1987-01-01 | Paper |
| A Relationship Between Ordinary Functional Completeness and a Generalisation of the Concept | 1986-01-01 | Paper |
| A GENERALISATION OF SLUPECKI'S CRITERION FOR FUNCTIONAL COMPLETENESS | 1984-01-01 | Paper |
| GENERALISED FUNCTIONAL COMPLETENESS OF SETS OFm-VALUED SHEFFER FUNCTIONS | 1984-01-01 | Paper |
| SCOMPLETENESS OF SETS OF THREE-VALUED SHEFFER FUNCTION | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701401 | 1983-01-01 | Paper |
| A Generalisation of the Concept of Functional Completeness and Applications to Modus Ponens | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919676 | 1981-01-01 | Paper |
| A Note on Formalisation by the Method of Description of Truth-Tables | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4174674 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4175253 | 1978-01-01 | Paper |
| A Three‐Valued Model for Set Theory | 1978-01-01 | Paper |
| Formalisations of further ℵ0-valued Łukasiewicz propositional calculi | 1978-01-01 | Paper |
| Simplified formalisations of fragments of the propositional calculus | 1977-01-01 | Paper |
| Formalisations With Non‐Standard Degrees of Completeness | 1976-01-01 | Paper |
| A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4065509 | 1975-01-01 | Paper |
| A note on the existence of tautologies without constants | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773674 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773675 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4773676 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5681983 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5681984 | 1973-01-01 | Paper |
| Locally Full χ0‐Valued Propositional Calculi | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672864 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5672865 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5634848 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636849 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636851 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5618340 | 1971-01-01 | Paper |
| SINGLE GENERATORS FOR HENKINIAN FRAGMENTS OF THE 2‐VALUED PROPOSITIONAL CALCULUS | 1969-01-01 | Paper |
| The Degree of Completeness of the m -Valued Łukasiewicz Propositional Calculus | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5575525 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5575527 | 1969-01-01 | Paper |
| Some many‐valued propositional calculi without single generators | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5594591 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5538908 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5572301 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5577059 | 1968-01-01 | Paper |
| A Formalisation of The χ0‐Valued ŁUkasiewicz Propositional Calculus With Variable Functors | 1967-01-01 | Paper |
| A Formalisation of The χ0‐Valued ŁUkasiewicz Implicational Propositional Calculus With Variable Functors | 1967-01-01 | Paper |
| A Formalisation Of The M‐Valued ŁUkasiewicz Propositional Calculus With Super‐Designated Truth‐Values | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5551117 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5601459 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596731 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5596732 | 1966-01-01 | Paper |
| A Formalisation of the m‐Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5616123 | 1966-01-01 | Paper |
| Two Non‐Henkinian Fragments of the 2‐Valued Propositional Calculus with Variable Functors | 1965-01-01 | Paper |
| Formalisations of Certain Propositional Calculi with Partially Variable Functors | 1965-01-01 | Paper |
| A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5527809 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5337195 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567820 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613904 | 1964-01-01 | Paper |
| Extensions of some theorems of Anderson and Belnap | 1963-01-01 | Paper |
| A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5666534 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5724773 | 1962-01-01 | Paper |
| A Simplified Self m‐AL Set of Primitive Functors for the m‐Valued Propositional Calculus | 1962-01-01 | Paper |
| An alternative generalisation of the concept of duality | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5559246 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5722252 | 1962-01-01 | Paper |
| Self-dual binary and ternary connectives for \(m\)-valued propositional calculi | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622154 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622155 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5722260 | 1960-01-01 | Paper |
| An extension of a theorem of margaris | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3259701 | 1960-01-01 | Paper |
| Further Applications of Logical Computers to the Construction of Electrical Control Tables For Signalling Frames | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621353 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5622145 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3257124 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3260569 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3264476 | 1959-01-01 | Paper |
| A High Speed Parallel Adder | 1959-01-01 | Paper |
| Fragments of Many-Valued Statement Calculi | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3256305 | 1958-01-01 | Paper |
| The use of universal decision elements as flip‐flops | 1958-01-01 | Paper |
| Applications of logical computers to the construction of electrical control tables for signalling frames | 1958-01-01 | Paper |
| Formulae corresponding to universal decision elements | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5621354 | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3284601 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235349 | 1956-01-01 | Paper |
| An alternative formalisation of Sobociński's three‐valued implicational propositional calculus | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3235348 | 1956-01-01 | Paper |
| Some formalisations of N0‐valued propositional calculi | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3226742 | 1955-01-01 | Paper |
| A Gödel theorem for an infinite-valued. Erweiterter Aussagenkalkül | 1955-01-01 | Paper |
| A single axiom for a partial system of the propositional calculus | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5833208 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5833209 | 1954-01-01 | Paper |
| A formalisation of the 2-valued propositional calculus with self-dual primitives | 1954-01-01 | Paper |
| Conditioned disjunction as a primitive connective for the erweiterter Aussagenkalkül | 1953-01-01 | Paper |
| The M-valued calculus of non-contradiction | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822059 | 1953-01-01 | Paper |
| The Degree of Completeness of the ℵ0 -Valued Łukasiewicz Propositional Calculus | 1953-01-01 | Paper |
| Some self-dual primitive functions for propositional calculi | 1953-01-01 | Paper |
| Fragments of the \(m\)-valued propositional calculus | 1953-01-01 | Paper |
| Self-dual primitives for modal logic | 1953-01-01 | Paper |
| The Degree of Completeness of the ℵ0 -Valued Łukasiewicz Propositional Calculus | 1953-01-01 | Paper |
| An extension of computational logic | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5814793 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816101 | 1952-01-01 | Paper |
| An Extension of the Calculus of Non-Contradiction | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816104 | 1952-01-01 | Paper |
| The Degree of Completeness of the M -Valued Łukasiewicz Propositional Calculus | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816103 | 1952-01-01 | Paper |
| Eight-Valued Geometry | 1952-01-01 | Paper |
| A formalisation of Post's \(m\)-valued propositional calculus | 1952-01-01 | Paper |
| The Degree of Completeness of some ŁUkasiewicztarski Propositional Calculi | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5804177 | 1951-01-01 | Paper |
| The Degree of Completeness of some ŁUkasiewicztarski Propositional Calculi | 1951-01-01 | Paper |
| Conditioned disjunction as a primitive connective for the \(m\)-valued propositional calculus | 1951-01-01 | Paper |
| Systems of logic whose truth-values form lattices | 1951-01-01 | Paper |
| A lattice-theoretic characterisation of the \(\aleph_0\)-valued propositional calculus | 1951-01-01 | Paper |
| The degree of completeness of a partial system of the 2-valued propositional calculus | 1951-01-01 | Paper |
| Axiom Systems for Three-Valued Logic | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5804988 | 1951-01-01 | Paper |
| Strong completeness of fragments of the propositional calculus | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5804986 | 1951-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5801384 | 1950-01-01 | Paper |
| On the use of a complex (quaternion) velocity potential in three dimensions | 1950-01-01 | Paper |
| Completeness of Lukasiewicz-Tarski propositional calculi | 1950-01-01 | Paper |
| A Lattice-Theoretic Characterisation of Three-Valued Logic | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5799909 | 1949-01-01 | Paper |
