| Publication | Date of Publication | Type |
|---|
| Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components | 2023-08-17 | Paper |
| Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components | 2023-03-30 | Paper |
| Automorphism Groups of Finite BL-Algebras | 2022-12-06 | Paper |
| Finite model property and varieties of BL-algebras | 2021-10-15 | Paper |
| Strictly join irreducible varieties of BL-algebras: the missing pieces | 2021-08-24 | Paper |
| A Note on Drastic Product Logic | 2019-08-20 | Paper |
| On linear varieties of MTL-algebras | 2019-08-12 | Paper |
| Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics | 2019-02-20 | Paper |
| Finite IUML-algebras, Finite Forests and Orthopairs | 2019-01-17 | Paper |
| Minimally many-valued extensions of the monoidal t-norm based logic MTL | 2018-12-07 | Paper |
| Equivalences between subcategories of MTL-algebras via Boolean algebras and prelinear semihoops | 2018-11-20 | Paper |
| Refinements of orthopairs and IUML-algebras | 2018-10-22 | Paper |
| Free weak nilpotent minimum algebras | 2018-02-23 | Paper |
| On varieties singly generated by a well-connected \(\mathrm{FL}_{ew}\)-algebra | 2018-02-20 | Paper |
| On some questions concerning the axiomatisation of WNM-algebras and their subvarieties | 2018-02-19 | Paper |
| OUP accepted manuscript | 2018-02-13 | Paper |
| Single chain completeness and some related properties | 2018-01-22 | Paper |
| Probability measures in \(\text{Gödel}_\varDelta\) logic | 2017-09-05 | Paper |
| Representation of BL-algebras with finite independent spectrum | 2017-08-09 | Paper |
| Querying with {\L}ukasiewicz logic | 2015-12-03 | Paper |
| Two Principles in Many-Valued Logic | 2015-10-06 | Paper |
| A note on minimal axiomatisations of some extensions of MTL | 2015-06-24 | Paper |
| A Logical Descriptor for Regular Languages via Stone Duality | 2015-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406040 | 2014-04-01 | Paper |
| MV-algebras freely generated by finite Kleene algebras. | 2013-12-23 | Paper |
| Computing Minimal Axiomatizations in Godel Propositional Logic | 2011-11-10 | Paper |
| The free \(n\)-generated BL-algebra | 2011-08-26 | Paper |
| Finitely Presented MV-algebras with Finite Automorphism Group | 2010-08-26 | Paper |
| Probability measures in the logic of nilpotent minimum | 2010-04-26 | Paper |
| A temporal semantics for basic logic | 2009-11-16 | Paper |
| Normal forms and free algebras for some extensions of MTL | 2009-08-28 | Paper |
| Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms | 2009-07-02 | Paper |
| De Finetti's no-Dutch-book criterion for Gödel logic | 2009-03-17 | Paper |
| Applications of Finite Duality to Locally Finite Varieties of BL-Algebras | 2009-02-24 | Paper |
| Gödel algebras free over finite distributive lattices | 2008-11-12 | Paper |
| Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications | 2007-11-19 | Paper |
| An asymptotically tight bound on countermodels for Łukasiewicz logic | 2006-10-10 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 2006-06-23 | Paper |
| Complexity issues in Basic Logic | 2006-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4450452 | 2004-02-15 | Paper |
| Finite-valued reductions of infinite-valued logics | 2003-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708367 | 2003-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4784950 | 2002-12-17 | Paper |
| Finiteness in infinite-valued Łukasiewicz logic | 2000-12-17 | Paper |
| Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions | 2000-06-21 | Paper |
| The complexity of McNaughton functions of one variable | 1999-05-04 | Paper |
| An algorithmic desingularization of 3-dimensional toric varieties | 1995-07-27 | Paper |
