| Publication | Date of Publication | Type |
|---|
| A scientific autobiography | 2024-03-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884967 | 2023-03-24 | Paper |
| Residuated expansions of lattice-ordered structures | 2021-03-19 | Paper |
| A cut-free labelled sequent calculus for dynamic epistemic logic | 2020-04-29 | Paper |
| Semantical Approach to Cut Elimination and Subformula Property in Modal Logic | 2020-02-04 | Paper |
| Proof theory and algebra in logic | 2019-06-04 | Paper |
| A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic | 2017-07-21 | Paper |
| ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC | 2017-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3466596 | 2016-02-01 | Paper |
| Modal twist-structures over residuated lattices | 2015-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2939496 | 2015-01-22 | Paper |
| UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS | 2015-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2851820 | 2013-10-04 | Paper |
| Preface to the special issue: Recent developments related to residuated lattices and substructural logics | 2013-02-18 | Paper |
| Glivenko theorems and negative translations in substructural predicate logics | 2013-02-04 | Paper |
| On involutive FL\(_{e}\)-monoids | 2013-02-04 | Paper |
| Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics | 2012-10-01 | Paper |
| Cut elimination and strong separation for substructural logics: an algebraic approach | 2011-08-26 | Paper |
| Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics | 2010-08-26 | Paper |
| Fuzzy logics from substructural perspective | 2010-03-18 | Paper |
| Glivenko theorems revisited | 2009-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3509191 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3505077 | 2008-06-18 | Paper |
| Residuated lattices. An algebraic glimpse at substructural logics | 2007-05-30 | Paper |
| Glivenko theorems for substructural logics over FL | 2007-01-19 | Paper |
| Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL | 2006-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5311045 | 2005-08-22 | Paper |
| Algebraic aspects of cut elimination | 2005-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4463933 | 2004-06-08 | Paper |
| Closure operators and complete embeddings of residuated lattices | 2003-08-28 | Paper |
| Splitting in the variety of residuated lattices | 2003-04-23 | Paper |
| Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL\(\forall\) | 2002-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329246 | 2002-04-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752413 | 2002-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752409 | 2001-10-16 | Paper |
| A syntactic approach to Maksimova's principle of variable separation for some substructural logics | 2001-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4511319 | 2001-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941998 | 2000-12-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699355 | 2000-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940727 | 2000-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250069 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4383724 | 1998-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4315299 | 1994-12-08 | Paper |
| The finite model property for BCK and BCIW | 1994-05-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4694214 | 1993-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026931 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4000672 | 1992-09-26 | Paper |
| The contraction rule and decision problems for logics without structural rules | 1992-06-27 | Paper |
| Intermediate predicate logics determined by ordinals | 1992-06-25 | Paper |
| On finite linear intermediate predicate logics | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472079 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4733852 | 1988-01-01 | Paper |
| Reflection Principles in Fragments of Peano Arithmetic | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3830979 | 1987-01-01 | Paper |
| Provably recursive functions in fragments of Peano arithmetic | 1986-01-01 | Paper |
| Interpolation and the Robinson property for logics not closed under the Boolean operations | 1986-01-01 | Paper |
| Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach | 1986-01-01 | Paper |
| Semantical analysis of predicate logics without the contraction rule | 1985-01-01 | Paper |
| Logics without the contraction rule | 1985-01-01 | Paper |
| Equational theories and universal theories of fields | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3669380 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3309811 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3966106 | 1982-01-01 | Paper |
| On some intuitionistic modal logics | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4189257 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851587 | 1975-01-01 | Paper |
| A formal system of partial recursive functions | 1974-01-01 | Paper |
| A study of intermediate predicate logics | 1973-01-01 | Paper |
| Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics | 1973-01-01 | Paper |
| Axiomatization of models for intermediate logics constructed with Boolean models by piling up | 1972-01-01 | Paper |
| Some results on the intermediate logics | 1972-01-01 | Paper |
| Kripke models and intermediate logics | 1971-01-01 | Paper |
| On the finite model property for Kripke models | 1971-01-01 | Paper |
| Some Remarks on Evaluations of the Primitive Logic | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5619070 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5610995 | 1967-01-01 | Paper |
