| Publication | Date of Publication | Type |
|---|
| Closure algebras of depth two with extremal relations: their frames, logics, and structural completeness | 2026-03-26 | Paper |
The fork and its role in unification of closure algebras
Fundamenta Informaticae | 2026-01-22 | Paper |
Unification types and union splittings in intermediate logics
Annals of Pure and Applied Logic | 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
Lecture Notes in Computer Science | 2022-08-30 | Paper |
| Unification types and union splittings in intermediate logics | 2022-05-21 | Paper |
Finitary unification in locally tabular modal logics characterized
Annals of Pure and Applied Logic | 2022-03-03 | Paper |
Ideal related algebras and their logics
Journal Of Logic And Computation | 2022-01-03 | Paper |
On the Semilattice of Modal Operators and Decompositions of the Discriminator
Hajnal Andréka and István Németi on Unity of Science | 2021-12-10 | Paper |
Unification in first-order transitive modal logic
Logic Journal of the IGPL | 2019-11-04 | Paper |
UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS
The Review of Symbolic Logic | 2019-06-07 | Paper |
Characterizing intermediate tense logics in terms of Galois connections
Logic Journal of the IGPL | 2019-01-08 | Paper |
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\)
Logic Journal of the IGPL | 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
Bulletin of the Section of Logic | 2017-11-22 | Paper |
Modal consequence relations extending S4.3: an application of projective unification
Notre Dame Journal of Formal Logic | 2016-12-15 | Paper |
Almost structural completeness; an algebraic approach
Annals of Pure and Applied Logic | 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.
International Journal of Approximate Reasoning | 2015-07-16 | Paper |
| Remarks on projective unifiers | 2014-04-23 | Paper |
Intuitionistic modal logic with a Galois connection has the finite model property
Logic Journal of the IGPL | 2013-06-11 | Paper |
| Intuitionistic logic with two Galois connections combined with Fischer Servi axioms | 2012-08-14 | Paper |
Projective unification in modal logic
Logic Journal of the IGPL | 2012-08-01 | Paper |
Intuitionistic propositional logic with Galois connections
Logic Journal of the IGPL | 2010-12-14 | Paper |
Relational Representation Theorems for Lattices with Negations: A Survey
Theory and Applications of Relational Structures as Knowledge Instruments II | 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
Relations and Kleene Algebra in Computer Science | 2008-04-24 | Paper |
| Splittings of lattices of theories and unification types | 2006-10-24 | Paper |
| scientific article; zbMATH DE number 2108194 (Why is no real title available?) | 2004-10-15 | Paper |
| scientific article; zbMATH DE number 2015264 (Why is no real title available?) | 2003-12-09 | Paper |
| scientific article; zbMATH DE number 1941925 (Why is no real title available?) | 2003-06-29 | Paper |
| scientific article; zbMATH DE number 218533 (Why is no real title available?) | 1993-06-29 | Paper |
| scientific article; zbMATH DE number 19690 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 3920437 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3833961 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3833960 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3773573 (Why is no real title available?) | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3625386 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3534489 (Why is no real title available?) | 1975-01-01 | Paper |
Structural completeness of Gödel's and Dummett's propositional calculi
Studia Logica | 1973-01-01 | Paper |
The fork and its role in unification of closure algebras
(available as arXiv preprint) | N/A | Paper |
