| Publication | Date of Publication | Type |
|---|
| MAXIMALITY OF LOGIC WITHOUT IDENTITY | 2024-04-05 | Paper |
| Asymptotic truth-value laws in many-valued logics | 2023-06-24 | Paper |
| Frame definability in finitely valued modal logics | 2023-05-19 | Paper |
| New foundations of reasoning via real-valued first-order logics | 2022-06-30 | Paper |
| Saturated models of first-order many-valued logics | 2022-03-30 | Paper |
| Logic and Implication | 2021-10-22 | Paper |
| Lindström theorems in graded model theory | 2021-01-25 | Paper |
| From Kripke to Neighborhood Semantics for Modal Fuzzy Logics | 2020-08-20 | Paper |
| Toward a general frame semantics for modal many-valued logics | 2019-08-12 | Paper |
| Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic | 2019-08-12 | Paper |
| Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1. | 2019-01-08 | Paper |
| Extension properties and subdirect representation in abstract algebraic logic | 2018-12-21 | Paper |
| Back-and-forth systems for fuzzy first-order models | 2018-10-16 | Paper |
| Neighborhood semantics for modal many-valued logics | 2018-10-16 | Paper |
| Fraïssé classes of graded relational structures | 2018-06-18 | Paper |
| Implicational (semilinear) logics. III: Completeness properties | 2018-04-17 | Paper |
| A logical framework for graded predicates | 2017-11-22 | Paper |
| A new hierarchy of infinitary logics in abstract algebraic logic | 2017-07-19 | Paper |
| Paraconsistency properties in degree-preserving fuzzy logics | 2016-11-22 | Paper |
| Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity | 2016-05-13 | Paper |
| The Quest for the Basic Fuzzy Logic | 2015-10-06 | Paper |
| A note on natural extensions in abstract algebraic logic | 2015-09-15 | Paper |
| A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS | 2015-05-20 | Paper |
| Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem | 2015-01-13 | Paper |
| A logical approach to fuzzy truth hedges | 2014-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406033 | 2014-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406042 | 2014-04-01 | Paper |
| NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES | 2014-03-06 | Paper |
| The proof by cases property and its variants in structural consequence relations | 2013-09-23 | Paper |
| Fuzzy logics with truth hedges revisited | 2013-01-15 | Paper |
| Solution of some problems in the arithmetical complexity of first-order fuzzy logics | 2011-11-25 | Paper |
| Implicational (semilinear) logics. I: A new hierarchy | 2010-05-17 | Paper |
| Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics | 2010-04-21 | Paper |
| Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics | 2010-03-26 | Paper |
| On expansions of WNM t-norm based logics with truth-constants | 2010-03-18 | Paper |
| Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics | 2010-03-11 | Paper |
| First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties | 2009-11-04 | Paper |
| Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies | 2009-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3614560 | 2009-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3533553 | 2008-10-23 | Paper |
| On triangular norm based axiomatic extensions of the weak nilpotent minimum logic | 2008-08-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3508715 | 2008-07-01 | Paper |
| On n ‐contractive fuzzy logics | 2007-06-26 | Paper |
| Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results | 2007-04-18 | Paper |
| On Weakly Cancellative Fuzzy Logics | 2006-12-04 | Paper |
| On Product Logic with Truth-constants | 2006-07-03 | Paper |
| Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops | 2005-11-24 | Paper |
| On Some Varieties of MTL-algebras | 2005-11-08 | Paper |
| On the scope of some formulas defining additive connectives in fuzzy logics | 2005-08-22 | Paper |
| Logical Characterizations of Weighted Complexity Classes | N/A | Paper |
