Publications
Submitted/Accepted

Rostislav Horčík: [pdf] Finite Embeddability Property for Residuated Lattices via Regular Languages. Submitted. 
Nikolaos Galatos, Rostislav Horčík: [pdf] Densification via Polynomials, Languages, and Frames. To appear in Journal of Pure and Applied Algebra.
2017

Rostislav Horčík: [pdf] On SquareIncreasing Ordered Monoids and Idempotent Semirings. Semigroup Forum, 94(2):297313, April 2017. [doi]
2016

Karel Chvalovský, Rostislav Horčík: [pdf] Full Lambek Calculus with Contraction is Undecidable. Journal of Symbolic Logic, 81(2):524540, May 2016. [doi]
2015

Rostislav Horčík: [pdf] Word Problem for Knotted Residuated Lattices. Journal of Pure and Applied Algebra, 219(5):15481563, May 2015. [doi]
2014

Zuzana Haniková, Rostislav Horčík: [pdf] Finite Embeddability Property for Residuated Groupoids. Algebra Universalis, 72(1):113, August 2014. [doi]
2013

Nikolaos Galatos, Rostislav Horčík: [pdf] Cayley's and Holland's Theorems for Idempotent Semirings and Their Applications to Residuated Lattices. Semigroup Forum, 87(3):569589, December 2013. [doi] 
Petr Cintula, Rostislav Horčík, Carles Noguera: [pdf] Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties. The Review of Symbolic Logic, 6(3):394423, September 2013. [doi]
2012

Marta Bílková, Rostislav Horčík, Jiří Velebil: [pdf] Distributive substructural logics as coalgebraic logics over posets. In T. Bolander, T. Braüner, L. Moss, S. Ghilardi (eds.). Advances in Modal Logic, Vol. 9. London: College Publications, 119142, 2012. [doi] 
Rostislav Horčík: [pdf] Minimal Varieties of Representable Commutative Residuated Lattices. [bib] Studia Logica, 100(6):10631078, December 2012. [doi]
2011

Rostislav Horčík: [pdf] Algebraic Semantics: Semilinear FLAlgebras. [bib] In Cintula, P.; Hájek, P.; Noguera, C. (ed.). Handbook of Mathematical Fuzzy Logic. London: College Publications, pp. 283353, 2011. [doi] 
Rostislav Horčík: [pdf] On the Structure of Finite Integral Commutative Residuated Chains. [bib] Journal of Logic and Computation, 21(5):717728, October 2011 [doi] 
Rostislav Horčík, Kazushige Terui: [pdf] Disjunction Property and Complexity of Substructural Logics. [bib] Theoretical Computer Science, 412(31):39924006, July 2011 [doi]
2010

Rostislav Horčík: [pdf] Cancellative Residuated Lattices Arising on 2generated Submonoids of Natural Numbers. [bib] Algebra Universalis, 63(23):261274, May 2010. [doi] 
Rostislav Horčík: [pdf] Solutions to Some Open Problems on Totally Ordered Monoids. [bib] Journal of Logic and Computation, 20(4):977983, August 2010. [doi]
2009

Rostislav Horčík, Franco Montagna: [pdf] Archimedean Classes in Integral Commutative Residuated Chains. [bib] Mathematical Logic Quarterly, 55(3):320336, March 2009. [doi]
2008

Rostislav Horčík: [pdf] Solution of a System of Linear Equations with Fuzzy Numbers. [bib] Fuzzy Sets and Systems, 159(14):17881810, July 2008. [doi]
2007

Rostislav Horčík: [pdf] Structure of Commutative Cancellative Integral Residuated Lattices on (0,1]. [bib] Algebra Universalis, 57:303332, 2007. [doi] 
Petr Cintula, Petr Hájek, Rostislav Horčík: [pdf] Formal Systems of Fuzzy Logic and their Fragments. [bib] Annals of Pure and Applied Logic, 150:4065, December 2007. [doi] 
Rostislav Horčík, Carles Noguera, Milan Petrík: [pdf] On ncontractive Fuzzy Logics. [bib] Mathematical Logic Quarterly, 53(3):268288, June 2007. [doi] 
Rostislav Horčík: [pdf] On the Failure of Standard Completeness in ΠMTL for Infinite Theories. [bib] Fuzzy Sets and Systems, 158(6):619624, March 2007. [doi] 
Rostislav Horčík: Alternative Proof of Standard Completeness Theorem for MTL. [bib] Soft Computing, 11(2):123129, January 2007. [doi]
2006

Rostislav Horčík: [pdf] Decidability of Cancellative Extension of Monoidal Tnorm Based Logic. [bib] Logic Journal of the IGPL, 14(6):827843, December 2006. [doi] 
Franco Montagna, Carles Noguera, Rostislav Horčík: [pdf] On Weakly Cancellative Fuzzy Logics. [bib] Journal of Logic and Computation, 16(4):423450, August 2006. [doi]
2005

Rostislav Horčík: [pdf] Standard Completeness Theorem for ΠMTL Logic [bib] Archive for Mathematical Logic, 44(4):413424, May 2005. [doi]
2004

Rostislav Horčík, Petr Cintula: [pdf] Product Lukasiewicz Logic [bib] Archive for Mathematical Logic, 43(4):477503, May 2004. [doi] 
Rostislav Horčík: [pdf] Residuated fuzzy Logics with Additional Connectives and Their Validation Sets [bib] Fuzzy Sets and Systems, 143(1):7587, April 2004. [doi] 
Rostislav Horčík: [pdf] Algebraic Properties of Fuzzy Logics [bib] Ph.D. Thesis, Czech Technical University in Prague, June 2005.
2002

Rostislav Horčík, Mirko Navara: Validation sets in fuzzy logics Kybernetika, 38(3):319326, June 2002.