| Publication | Date of Publication | Type |
|---|
| scientific article; zbMATH DE number 1199086 (Why is no real title available?) | 1998-09-14 | Paper |
| scientific article; zbMATH DE number 1199088 (Why is no real title available?) | 1998-09-14 | Paper |
Equational two axiom bases for Boolean algebras and some other lattice theories
Notre Dame Journal of Formal Logic | 1979-01-01 | Paper |
Note about Lukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
Awkward axiom - systems
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
A new axiomatization of the mixed associative Newman algebra
Notre Dame Journal of Formal Logic | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3489091 (Why is no real title available?) | 1976-01-01 | Paper |
The axioms for latticoids and their associative extensions
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
The modular latticoids
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
A short equational axiomatization of modular ortholattices
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
A short equational axiomatization of orthomodular lattices
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
Pledger lemma and the modal system S3^
Notre Dame Journal of Formal Logic | 1976-01-01 | Paper |
Concerning the postulate-systems of subtractive Abelian groups
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
A short postulate-system for ortholattices
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
A new postulate-system for modular lattices
Notre Dame Journal of Formal Logic | 1975-01-01 | Paper |
Concerning the proper axioms of S4.02
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
A theorem concerning a restricted rule of substitution in the field of propositional calculi. I
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
A theorem concerning a restricted rule of substitution in the field of propositional calculi. II
Notre Dame Journal of Formal Logic | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3400895 (Why is no real title available?) | 1973-01-01 | Paper |
Remark about the Boolean parts in the postulate-systems of closure, derivative and projective algebras
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
A note on Newman's algebraic systems
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
A new axiomatization of modal system K1.2
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Modal system S3 and the proper axioms of S4.02 and S4.04
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Note about the Boolean parts of the extended Boolean algebras
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Concerning the quantifier algebras in the sense of Pinter
Notre Dame Journal of Formal Logic | 1973-01-01 | Paper |
Additional note on lattice-theoretical form of Hauber's law
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
A new formalization of Newman algebra
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
An equational axiomatization of associative Newman algebra
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
A semi-lattice theoretical characterization of associative Newman algebras
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
An equational axiomatization and a semi-lattice theoretical characterization of mixed associative Newman algebras
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Certain sets of postulates for distributive lattices with the constant elements
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
An abbreviation of Croisot's axiom-system for distributive lattices with 1
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
Solution to the problem concerning the Boolean bases for cylindric algebras
Notre Dame Journal of Formal Logic | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3327288 (Why is no real title available?) | 1971-01-01 | Paper |
A note on an axiom-system of atomistic mereology
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
Lattice-theoretical and mereological forms of Hauber's law
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
A proper subsystem of S4.04
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
Concerning some extensions of S4
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
A new class of modal systems
Notre Dame Journal of Formal Logic | 1971-01-01 | Paper |
Note on G.J. Massey's closure-algebraic operation
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
Certain extensions of modal system S4
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
A note on Zeman's modal system S4.04
Notre Dame Journal of Formal Logic | 1970-01-01 | Paper |
A note on certain set-theoretical formulas
Notre Dame Journal of Formal Logic | 1965-01-01 | Paper |
A note on Prior's systems in ``The theory of deduction''
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Remarks about axiomatizations of certain modal systems
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Modal system S4.4
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
Family K of the non-Lewis modal systems
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
On the propositional system \(A\) of Vučković and its extension. I
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
A theorem of Sierpiński on triads and the axiom of choice
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
On the propositional system A of Vučković and its extension. II
Notre Dame Journal of Formal Logic | 1964-01-01 | Paper |
| scientific article; zbMATH DE number 3222118 (Why is no real title available?) | 1963-01-01 | Paper |
A note on modal systems
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
A note on the generalized continuum hypothesis. III
Notre Dame Journal of Formal Logic | 1963-01-01 | Paper |
A contribution to the axiomatization of Lewis' system S5
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
A note on the regular and irregular modal systems of Lewis
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
On the generalized Brouwerian axioms
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
Six new sets of independent axioms for distributive lattices with 0 and 1
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
An axiom-system for \((K;N)\)-propositional calculus related to Simons' axiomatization of S3
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
A set-theoretical formula equivalent to the axiom of choice
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
A remark concerning the third theorem about the existence of successors of cardinals
Notre Dame Journal of Formal Logic | 1962-01-01 | Paper |
| scientific article; zbMATH DE number 3203815 (Why is no real title available?) | 1961-01-01 | Paper |
Three set-theoretical formulas
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
A theorem on Hartog's alephs
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
Certain formulas equivalent to the axiom of choice
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
A note concerning the many-valued propositional calculi
Notre Dame Journal of Formal Logic | 1961-01-01 | Paper |
| scientific article; zbMATH DE number 3183999 (Why is no real title available?) | 1960-01-01 | Paper |
A simple formula equivalent to the axiom of choice
Notre Dame Journal of Formal Logic | 1960-01-01 | Paper |
Note on a problem of Paul Bernays
Journal of Symbolic Logic | 1955-01-01 | Paper |
| scientific article; zbMATH DE number 3092556 (Why is no real title available?) | 1954-01-01 | Paper |
| scientific article; zbMATH DE number 3084369 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3085174 (Why is no real title available?) | 1953-01-01 | Paper |
| scientific article; zbMATH DE number 3077773 (Why is no real title available?) | 1952-01-01 | Paper |
| scientific article; zbMATH DE number 3052382 (Why is no real title available?) | 1949-01-01 | Paper |
| scientific article; zbMATH DE number 3060697 (Why is no real title available?) | 1949-01-01 | Paper |
| scientific article; zbMATH DE number 3052383 (Why is no real title available?) | 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 |
| scientific article; zbMATH DE number 3037211 (Why is no real title available?) | 1939-01-01 | Paper |
| scientific article; zbMATH DE number 3037856 (Why is no real title available?) | 1939-01-01 | Paper |
| Die Axiomatisierung der implikativkonjunktiven Deduktionstheorie. | 1935-01-01 | Paper |
