| Publication | Date of Publication | Type |
|---|
| Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract | 2024-02-29 | Paper |
| Avoidable structures. I: Finite ordered sets, semilattices and lattices | 2010-01-04 | Paper |
| Avoidable structures. II: Finite distributive lattices and nicely structured ordered sets | 2010-01-04 | Paper |
| Minimal varieties and quasivarieties of semilattices with one automorphism | 2009-04-27 | Paper |
| Equivalents for a quasivariety to be generated by a single structure | 2009-03-17 | Paper |
| The weak extension property and finite axiomatizability for quasivarieties | 2009-02-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5441555 | 2008-02-15 | Paper |
| In memory of Willem Johannes Blok 1947-2003 | 2006-10-27 | Paper |
| Viktor Aleksandrovich Gorbunov (1950 -- 1999). | 2005-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2709298 | 2001-07-24 | Paper |
| Algebraic point lattices of quasivarieties | 2001-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4517140 | 2000-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953203 | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4948583 | 2000-04-13 | Paper |
| Deduction theorems within RM and its extensions | 1999-06-29 | Paper |
| The parameterized local deduction theorem for quasivarieties of algebras and its application | 1996-10-15 | Paper |
| Finite atomistic lattices that can be represented as lattices of quasivarieties | 1995-02-12 | Paper |
| An answer to a question of D. Pigozzi | 1994-01-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4025012 | 1993-02-22 | Paper |
| A deduction theorem schema for deductive systems of propositional logics | 1992-09-27 | Paper |
| A single quasi-identity for a quasivariety with the Fraser-Horn property | 1992-06-28 | Paper |
| Finite bases for finitely generated, relatively congruence distributive quasivarities | 1992-06-27 | Paper |
| Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class | 1990-01-01 | Paper |
| Relative congruence distributivity within quasivarieties of nearly associative Φ-algebras | 1990-01-01 | Paper |
| Finitely generated congruence distributive quasivarieties of algebras | 1989-01-01 | Paper |
| On atoms in the lattice of quasivarieties | 1987-01-01 | Paper |
| On lattice identities satisfied in subquasivariety lattices of varieties of modular lattices | 1986-01-01 | Paper |
| On the lattice of quasivarieties of Sugihara algebras | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762371 | 1986-01-01 | Paper |
| On subquasivariety lattices of some varieties related with distributive p-algebras | 1985-01-01 | Paper |
| On subquasivariety lattices of semi-primal varieties | 1985-01-01 | Paper |
| The subvariety lattice of the variety of distributive double p-algebras | 1985-01-01 | Paper |
| On distributivity of the lattice of subquasivarieties of a locally finite semi-simple arithmetical variety | 1984-01-01 | Paper |
| There are \(2^{\aleph_ 0}\) logics with the relevance principle between R and RM | 1983-01-01 | Paper |
| Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3218183 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3322076 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3340835 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5187336 | 1983-01-01 | Paper |
| Another proof that \(ISP_ r(K)\) is the least quasivariety containing K | 1982-01-01 | Paper |
| On finite approximability of psi-intermediate logics | 1982-01-01 | Paper |
| Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659757 | 1982-01-01 | Paper |
| The degrees of maximality of the intuitionistic propositional logic and of some of its fragments | 1981-01-01 | Paper |
| On infinite subdirectly irreducible algebras in locally finite equational classes | 1981-01-01 | Paper |
| A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties | 1981-01-01 | Paper |
| The lattice of strengthenings of a strongly finite consequence operation | 1981-01-01 | Paper |
| Strong completeness with respect to finite Kripke models | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941384 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953765 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4744246 | 1981-01-01 | Paper |
| An example of strongly finite consequence operation with \(2^ (\aleph_ 0)\) standard strengthenings | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3867810 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3893898 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3048814 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050401 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3852159 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194937 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3050400 | 1978-01-01 | Paper |
| On detachment-substitutional formalization in normal modal logics | 1977-01-01 | Paper |
| Modal logics connected with systems \(S4_n\) of Sobocinski | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4146718 | 1976-01-01 | Paper |
