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 Square-Increasing Ordered Monoids and Idempotent Semirings. Semigroup Forum, 94(2):297-313, April 2017. [doi]
2016
-
Karel Chvalovský, Rostislav Horčík: [pdf] Full Lambek Calculus with Contraction is Undecidable. Journal of Symbolic Logic, 81(2):524-540, May 2016. [doi]
2015
-
Rostislav Horčík: [pdf] Word Problem for Knotted Residuated Lattices. Journal of Pure and Applied Algebra, 219(5):1548-1563, May 2015. [doi]
2014
-
Zuzana Haniková, Rostislav Horčík: [pdf] Finite Embeddability Property for Residuated Groupoids. Algebra Universalis, 72(1):1-13, 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):569-589, December 2013. [doi] -
Petr Cintula, Rostislav Horčík, Carles Noguera: [pdf] Non-associative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties. The Review of Symbolic Logic, 6(3):394-423, 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, 119-142, 2012. [doi] -
Rostislav Horčík: [pdf] Minimal Varieties of Representable Commutative Residuated Lattices. [bib] Studia Logica, 100(6):1063-1078, December 2012. [doi]
2011
-
Rostislav Horčík: [pdf] Algebraic Semantics: Semilinear FL-Algebras. [bib] In Cintula, P.; Hájek, P.; Noguera, C. (ed.). Handbook of Mathematical Fuzzy Logic. London: College Publications, pp. 283-353, 2011. [doi] -
Rostislav Horčík: [pdf] On the Structure of Finite Integral Commutative Residuated Chains. [bib] Journal of Logic and Computation, 21(5):717-728, October 2011 [doi] -
Rostislav Horčík, Kazushige Terui: [pdf] Disjunction Property and Complexity of Substructural Logics. [bib] Theoretical Computer Science, 412(31):3992-4006, July 2011 [doi]
2010
-
Rostislav Horčík: [pdf] Cancellative Residuated Lattices Arising on 2-generated Submonoids of Natural Numbers. [bib] Algebra Universalis, 63(2-3):261-274, May 2010. [doi] -
Rostislav Horčík: [pdf] Solutions to Some Open Problems on Totally Ordered Monoids. [bib] Journal of Logic and Computation, 20(4):977-983, August 2010. [doi]
2009
-
Rostislav Horčík, Franco Montagna: [pdf] Archimedean Classes in Integral Commutative Residuated Chains. [bib] Mathematical Logic Quarterly, 55(3):320-336, 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):1788-1810, July 2008. [doi]
2007
-
Rostislav Horčík: [pdf] Structure of Commutative Cancellative Integral Residuated Lattices on (0,1]. [bib] Algebra Universalis, 57:303-332, 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:40-65, December 2007. [doi] -
Rostislav Horčík, Carles Noguera, Milan Petrík: [pdf] On n-contractive Fuzzy Logics. [bib] Mathematical Logic Quarterly, 53(3):268-288, 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):619-624, March 2007. [doi] -
Rostislav Horčík: Alternative Proof of Standard Completeness Theorem for MTL. [bib] Soft Computing, 11(2):123-129, January 2007. [doi]
2006
-
Rostislav Horčík: [pdf] Decidability of Cancellative Extension of Monoidal T-norm Based Logic. [bib] Logic Journal of the IGPL, 14(6):827-843, December 2006. [doi] -
Franco Montagna, Carles Noguera, Rostislav Horčík: [pdf] On Weakly Cancellative Fuzzy Logics. [bib] Journal of Logic and Computation, 16(4):423-450, August 2006. [doi]
2005
-
Rostislav Horčík: [pdf] Standard Completeness Theorem for ΠMTL Logic [bib] Archive for Mathematical Logic, 44(4):413-424, May 2005. [doi]
2004
-
Rostislav Horčík, Petr Cintula: [pdf] Product Lukasiewicz Logic [bib] Archive for Mathematical Logic, 43(4):477-503, May 2004. [doi] -
Rostislav Horčík: [pdf] Residuated fuzzy Logics with Additional Connectives and Their Validation Sets [bib] Fuzzy Sets and Systems, 143(1):75-87, 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):319-326, June 2002.
