| Publication | Date of Publication | Type |
|---|
Finite embeddability property for residuated lattices via regular languages
Outstanding Contributions to Logic | 2024-03-25 | Paper |
Densification via polynomials, languages, and frames
Journal of Pure and Applied Algebra | 2021-09-17 | Paper |
| An Algebraic Approach to Valued Constraint Satisfaction | 2020-05-26 | Paper |
On square-increasing ordered monoids and idempotent semirings
Semigroup Forum | 2017-07-14 | Paper |
FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE
Journal of Symbolic Logic | 2016-08-19 | Paper |
The quest for the basic fuzzy logic
Petr Hájek on Mathematical Fuzzy Logic | 2015-10-06 | Paper |
Word problem for knotted residuated lattices.
Journal of Pure and Applied Algebra | 2015-02-04 | Paper |
The finite embeddability property for residuated groupoids.
Algebra Universalis | 2014-08-01 | Paper |
| scientific article; zbMATH DE number 6302899 (Why is no real title available?) | 2014-06-11 | Paper |
Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
Semigroup Forum | 2014-04-25 | Paper |
| scientific article; zbMATH DE number 6276269 (Why is no real title available?) | 2014-04-01 | Paper |
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
The Review of Symbolic Logic | 2014-03-06 | Paper |
Minimal varieties of representable commutative residuated lattices
Studia Logica | 2013-02-18 | Paper |
| Validation sets in fuzzy logics. | 2012-12-04 | Paper |
On the structure of finite integral commutative residuated chains
Journal Of Logic And Computation | 2011-11-10 | Paper |
Disjunction property and complexity of substructural logics
Theoretical Computer Science | 2011-07-18 | Paper |
Cancellative residuated lattices arising on 2-generated submonoids of natural numbers
Algebra Universalis | 2010-11-22 | Paper |
Solutions to some open problems on totally ordered monoids
Journal Of Logic And Computation | 2010-08-26 | Paper |
Solution of a system of linear equations with fuzzy numbers
Fuzzy Sets and Systems | 2009-08-28 | Paper |
Archimedean classes in integral commutative residuated chains
Mathematical Logic Quarterly | 2009-06-11 | Paper |
Structure of commutative cancellative integral residuated lattices on \((0, 1\)]
Algebra Universalis | 2008-03-05 | Paper |
Formal systems of fuzzy logic and their fragments
Annals of Pure and Applied Logic | 2007-12-12 | Paper |
On n ‐contractive fuzzy logics
Mathematical Logic Quarterly | 2007-06-26 | Paper |
On the failure of standard completeness in \(\Pi\)MTL for infinite theories
Fuzzy Sets and Systems | 2007-04-18 | Paper |
Decidability of Cancellative Extension of Monoidal T-norm Based Logic
Logic Journal of the IGPL | 2007-02-15 | Paper |
Alternative proof of standard completeness theorem for MTL
Soft Computing | 2007-01-04 | Paper |
On Weakly Cancellative Fuzzy Logics
Journal Of Logic And Computation | 2006-12-04 | Paper |
Standard completeness theorem for \(\Pi\)MTL
Archive for Mathematical Logic | 2005-05-26 | Paper |
Product Łukasiewicz logic
Archive for Mathematical Logic | 2004-12-16 | Paper |
Residuated fuzzy logics with additional connectives and their validation sets.
Fuzzy Sets and Systems | 2004-03-29 | Paper |
| scientific article; zbMATH DE number 2030506 (Why is no real title available?) | 2004-01-20 | Paper |
