| Publication | Date of Publication | Type |
|---|
| Unification types and union splittings in intermediate logics | 2024-10-07 | Paper |
| Closure algebras of depth two with extremal relations: Their frames, logics, and structural completeness | 2023-09-19 | Paper |
| Ideal Related Algebras and Their Logics Extended Abstract | 2022-08-30 | Paper |
| Unification types and union splittings in intermediate logics | 2022-05-21 | Paper |
| Finitary unification in locally tabular modal logics characterized | 2022-03-03 | Paper |
| Ideal related algebras and their logics | 2022-01-03 | Paper |
| On the Semilattice of Modal Operators and Decompositions of the Discriminator | 2021-12-10 | Paper |
| Unification in first-order transitive modal logic | 2019-11-04 | Paper |
| UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS | 2019-06-07 | Paper |
| Characterizing intermediate tense logics in terms of Galois connections | 2019-01-08 | Paper |
| Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\) | 2019-01-08 | Paper |
| Direct product of \(\ell\)-algebras and unification: an application to residuated lattices | 2018-11-06 | Paper |
| Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras | 2017-11-22 | Paper |
| Modal consequence relations extending S4.3: an application of projective unification | 2016-12-15 | Paper |
| Almost structural completeness; an algebraic approach | 2016-05-02 | Paper |
| Unifiability in relation algebras and in products of S5 | 2015-08-14 | Paper |
| Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. | 2015-07-16 | Paper |
| Remarks on projective unifiers | 2014-04-23 | Paper |
| Intuitionistic modal logic with a Galois connection has the finite model property | 2013-06-11 | Paper |
| Intuitionistic logic with two Galois connections combined with Fischer Servi axioms | 2012-08-14 | Paper |
| Projective unification in modal logic | 2012-08-01 | Paper |
| Intuitionistic propositional logic with Galois connections | 2010-12-14 | Paper |
| Relational Representation Theorems for Lattices with Negations: A Survey | 2009-01-20 | Paper |
| Unification types in logic | 2008-08-08 | Paper |
| Unification in some substructural logics of BL-algebras and hoops | 2008-06-18 | Paper |
| Transparent unifiers in modal logics with self-conjugate operators | 2008-05-02 | Paper |
| Relational Representation Theorems for General Lattices with Negations | 2008-04-24 | Paper |
| Splittings of lattices of theories and unification types | 2006-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4820592 | 2004-10-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438092 | 2003-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408985 | 2003-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694249 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3979184 | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695252 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041195 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041194 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3953754 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187823 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4111001 | 1975-01-01 | Paper |
| Structural completeness of Gödel's and Dummett's propositional calculi | 1973-01-01 | Paper |
| The fork and its role in unification of closure algebras | N/A | Paper |
