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
https://portal.mardi4nfdi.de/entity/Q3143796	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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