Rostislav Horčík

Available identifiers

zbMath Open horcik.rostislavMaRDI QIDQ549719

List of research outcomes

Publication	Date of Publication	Type
Finite embeddability property for residuated lattices via regular languages	2024-03-25	Paper
Densification via polynomials, languages, and frames	2021-09-17	Paper
An Algebraic Approach to Valued Constraint Satisfaction	2020-05-26	Paper
On square-increasing ordered monoids and idempotent semirings	2017-07-14	Paper
FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE	2016-08-19	Paper
The quest for the basic fuzzy logic	2015-10-06	Paper
Word problem for knotted residuated lattices.	2015-02-04	Paper
The finite embeddability property for residuated groupoids.	2014-08-01	Paper
https://portal.mardi4nfdi.de/entity/Q5419875	2014-06-11	Paper
Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices	2014-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q5406035	2014-04-01	Paper
Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties	2014-03-06	Paper
Minimal varieties of representable commutative residuated lattices	2013-02-18	Paper
Validation sets in fuzzy logics.	2012-12-04	Paper
On the structure of finite integral commutative residuated chains	2011-11-10	Paper
Disjunction property and complexity of substructural logics	2011-07-18	Paper
Cancellative residuated lattices arising on 2-generated submonoids of natural numbers	2010-11-22	Paper
Solutions to some open problems on totally ordered monoids	2010-08-26	Paper
Solution of a system of linear equations with fuzzy numbers	2009-08-28	Paper
Archimedean classes in integral commutative residuated chains	2009-06-11	Paper
Structure of commutative cancellative integral residuated lattices on \((0, 1]\)	2008-03-05	Paper
Formal systems of fuzzy logic and their fragments	2007-12-12	Paper
On n ‐contractive fuzzy logics	2007-06-26	Paper
On the failure of standard completeness in \(\Pi\)MTL for infinite theories	2007-04-18	Paper
Decidability of Cancellative Extension of Monoidal T-norm Based Logic	2007-02-15	Paper
Alternative proof of standard completeness theorem for MTL	2007-01-04	Paper
On Weakly Cancellative Fuzzy Logics	2006-12-04	Paper
Standard completeness theorem for \(\Pi\)MTL	2005-05-26	Paper
Product Łukasiewicz logic	2004-12-16	Paper
Residuated fuzzy logics with additional connectives and their validation sets.	2004-03-29	Paper
https://portal.mardi4nfdi.de/entity/Q4442750	2004-01-20	Paper

Research outcomes over time

This page was built for person: Rostislav Horčík