| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q4211200 | 1998-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4211202 | 1998-09-14 | Paper |
| Equational two axiom bases for Boolean algebras and some other lattice theories | 1979-01-01 | Paper |
| Note about Lukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus | 1978-01-01 | Paper |
| Awkward axiom - systems | 1978-01-01 | Paper |
| A new axiomatization of the mixed associative Newman algebra | 1978-01-01 | Paper |
| The axioms for latticoids and their associative extensions | 1976-01-01 | Paper |
| The modular latticoids | 1976-01-01 | Paper |
| A short equational axiomatization of modular ortholattices | 1976-01-01 | Paper |
| A short equational axiomatization of orthomodular lattices | 1976-01-01 | Paper |
| Pledger lemma and the modal system \(S3^\circ\) | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4070822 | 1976-01-01 | Paper |
| Concerning the postulate-systems of subtractive Abelian groups | 1975-01-01 | Paper |
| A short postulate-system for ortholattices | 1975-01-01 | Paper |
| A new postulate-system for modular lattices | 1975-01-01 | Paper |
| Concerning the proper axioms of S4.02 | 1974-01-01 | Paper |
| A theorem concerning a restricted rule of substitution in the field of propositional calculi. I | 1974-01-01 | Paper |
| A theorem concerning a restricted rule of substitution in the field of propositional calculi. II | 1974-01-01 | Paper |
| Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras | 1973-01-01 | Paper |
| A note on Newman's algebraic systems | 1973-01-01 | Paper |
| A new axiomatization of modal system K1.2 | 1973-01-01 | Paper |
| Modal system S3 and the proper axioms of S4.02 and S4.04 | 1973-01-01 | Paper |
| Note about the Boolean parts of the extended Boolean algebras | 1973-01-01 | Paper |
| Concerning the quantifier algebras in the sense of Pinter | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5668803 | 1973-01-01 | Paper |
| Additional note on lattice-theoretical form of Hauber's law | 1972-01-01 | Paper |
| A new formalization of Newman algebra | 1972-01-01 | Paper |
| An equational axiomatization of associative Newman algebra | 1972-01-01 | Paper |
| A semi-lattice theoretical characterization of associative Newman algebras | 1972-01-01 | Paper |
| An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras | 1972-01-01 | Paper |
| Certain sets of postulates for distributive lattices with the constant elements | 1972-01-01 | Paper |
| An abbreviation of Croisot's axiom-system for distributive lattices with 1 | 1972-01-01 | Paper |
| Solution to the problem concerning the Boolean bases for cylindric algebras | 1972-01-01 | Paper |
| A note on an axiom-system of atomistic mereology | 1971-01-01 | Paper |
| Lattice-theoretical and mereological forms of Hauber's law | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5605877 | 1971-01-01 | Paper |
| A proper subsystem of S4.04 | 1971-01-01 | Paper |
| Concerning some extensions of S4 | 1971-01-01 | Paper |
| A new class of modal systems | 1971-01-01 | Paper |
| Note on G.J. Massey's closure-algebraic operation | 1970-01-01 | Paper |
| Certain extensions of modal system S4 | 1970-01-01 | Paper |
| A note on Zeman's modal system S4.04 | 1970-01-01 | Paper |
| A note on certain set-theoretical formulas | 1965-01-01 | Paper |
| A note on Prior's systems in ``The theory of deduction | 1964-01-01 | Paper |
| Remarks about axiomatizations of certain modal systems | 1964-01-01 | Paper |
| Modal system S4.4 | 1964-01-01 | Paper |
| Family K of the non-Lewis modal systems | 1964-01-01 | Paper |
| On the propositional system \(A\) of Vučković and its extension. I | 1964-01-01 | Paper |
| A theorem of Sierpiński on triads and the axiom of choice | 1964-01-01 | Paper |
| On the propositional system \(A\) of Vučković and its extension. II | 1964-01-01 | Paper |
| A note on modal systems | 1963-01-01 | Paper |
| A note on the generalized continuum hypothesis. III | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509697 | 1963-01-01 | Paper |
| A contribution to the axiomatization of Lewis' system S5 | 1962-01-01 | Paper |
| A note on the regular and irregular modal systems of Lewis | 1962-01-01 | Paper |
| On the generalized Brouwerian axioms | 1962-01-01 | Paper |
| Six new sets of independent axioms for distributive lattices with 0 and 1 | 1962-01-01 | Paper |
| An axiom-system for \((K;N)\)-propositional calculus related to Simons' axiomatization of S3 | 1962-01-01 | Paper |
| A set-theoretical formula equivalent to the axiom of choice | 1962-01-01 | Paper |
| A remark concerning the third theorem about the existence of successors of cardinals | 1962-01-01 | Paper |
| Three set-theoretical formulas | 1961-01-01 | Paper |
| A theorem on Hartog's alephs | 1961-01-01 | Paper |
| Certain formulas equivalent to the axiom of choice | 1961-01-01 | Paper |
| A note concerning the many-valued propositional calculi | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5330631 | 1961-01-01 | Paper |
| A simple formula equivalent to the axiom of choice | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5720197 | 1960-01-01 | Paper |
| Note on a problem of Paul Bernays | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5831323 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5823281 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5822053 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816696 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5791640 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5799904 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5791641 | 1949-01-01 | Paper |
| Axiomatisierung des ``konjunktiv-negativen Systems des Aussagenkalküls. | 1939-01-01 | Paper |
| Aus den Untersuchungen zur Protothetik. | 1939-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5776900 | 1939-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5777499 | 1939-01-01 | Paper |
| Die Axiomatisierung der implikativkonjunktiven Deduktionstheorie. | 1935-01-01 | Paper |
