| Publication | Date of Publication | Type |
|---|
| Relevant consequence relations: an invitation | 2024-11-14 | Paper |
| One-variable fragments of first-order logics | 2024-11-12 | Paper |
| One-variable fragments of first-order logics | 2023-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5884949 | 2023-03-24 | Paper |
| Algebraic semantics for one-variable lattice-valued logics | 2022-09-18 | Paper |
| Relevant Consequence Relations: An Invitation | 2022-07-08 | Paper |
| HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? | 2022-05-25 | Paper |
| Logic and Implication | 2021-10-22 | 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 |
| AN ABSTRACT APPROACH TO CONSEQUENCE RELATIONS | 2019-06-07 | Paper |
| Skolemization and Herbrand theorems for lattice-valued logics | 2019-03-26 | Paper |
| Representing strategic games and their equilibria in many-valued logics | 2019-01-08 | Paper |
| Lindenbaum and pair extension lemma in infinitary logics | 2018-10-18 | Paper |
| Neighborhood semantics for modal many-valued logics | 2018-10-16 | Paper |
| Implicational (semilinear) logics. III: Completeness properties | 2018-04-17 | Paper |
| A note on axiomatizations of Pavelka-style complete fuzzy logics | 2018-02-19 | Paper |
| A logical framework for graded predicates | 2017-11-22 | Paper |
| Graded dominance and related graded properties of fuzzy connectives | 2017-05-18 | Paper |
| Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity | 2016-05-13 | Paper |
| Skolemization for Substructural Logics | 2016-01-12 | 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 |
| https://portal.mardi4nfdi.de/entity/Q5406033 | 2014-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5406032 | 2014-04-01 | Paper |
| NONASSOCIATIVE SUBSTRUCTURAL LOGICS AND THEIR SEMILINEAR EXTENSIONS: AXIOMATIZATION AND COMPLETENESS PROPERTIES | 2014-03-06 | Paper |
| Herbrand Theorems for Substructural Logics | 2014-01-17 | Paper |
| Simple games in Łukasiewicz calculus and their cores | 2014-01-08 | Paper |
| The proof by cases property and its variants in structural consequence relations | 2013-09-23 | Paper |
| Filters in algebras of fuzzy logics | 2013-01-15 | Paper |
| Note on deduction theorems in contraction-free logics | 2012-06-01 | Paper |
| Admissible rules in the implication-negation fragment of intuitionistic logic | 2011-09-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2998400 | 2011-05-18 | Paper |
| Implicational (semilinear) logics. I: A new hierarchy | 2010-05-17 | Paper |
| Triangular norm based predicate fuzzy logics | 2010-03-18 | Paper |
| Fuzzy logics with an additional involutive negation | 2010-03-18 | Paper |
| Structural completeness in fuzzy logics | 2009-11-18 | Paper |
| Relations in fuzzy class theory: initial steps | 2009-08-28 | Paper |
| Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies | 2009-06-17 | Paper |
| Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic | 2009-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3620026 | 2009-04-14 | Paper |
| Logics with disjunction and proof by cases | 2008-08-18 | Paper |
| Features of Mathematical Theories in Formal Fuzzy Logic | 2008-01-02 | Paper |
| Formal systems of fuzzy logic and their fragments | 2007-12-12 | Paper |
| Normal forms for fuzzy logics: a proof-theoretic approach | 2007-06-07 | Paper |
| On theories and models in fuzzy predicate logics | 2006-11-29 | Paper |
| Weakly implicative (fuzzy) logics. I: Basic properties | 2006-09-26 | Paper |
| Residuated logics based on strict triangular norms with an involutive negation | 2006-08-30 | Paper |
| Fuzzy logics as the logics of chains | 2006-06-09 | Paper |
| From fuzzy logic to fuzzy mathematics: a methodological manifesto | 2006-06-09 | Paper |
| Two notions of compactness in Gödel logics | 2006-03-17 | Paper |
| Short note: on the redundancy of axiom (A3) in BL and MTL | 2006-03-02 | Paper |
| A note to the definition of the Ł\(\Pi\)-algebras | 2005-12-13 | Paper |
| Fuzzy class theory | 2005-08-22 | Paper |
| Product Łukasiewicz logic | 2004-12-16 | Paper |
| Compactness of fuzzy logics. | 2004-03-29 | Paper |
| Semi-normal forms and functional representation of product fuzzy logic. | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4442750 | 2004-01-20 | Paper |
| Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics | 2003-09-16 | Paper |
| About axiomatic systems of product fuzzy logic | 2002-06-23 | Paper |
| The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics | 2002-05-21 | Paper |
