Cintula, Petr; Horčík, Rostislav; Noguera, Carles Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties. (English) Zbl 1335.03023 Rev. Symb. Log. 6, No. 3, 394-423 (2013). Reviewer: Gemma Robles (León) MSC: 03B47 PDFBibTeX XMLCite \textit{P. Cintula} et al., Rev. Symb. Log. 6, No. 3, 394--423 (2013; Zbl 1335.03023) Full Text: DOI
Cintula, Petr; Hájek, Petr; Horčík, Rostislav Formal systems of fuzzy logic and their fragments. (English) Zbl 1140.03010 Ann. Pure Appl. Logic 150, No. 1-3, 40-65 (2007). Reviewer: Thomas Vetterlein (Wien) MSC: 03B52 PDFBibTeX XMLCite \textit{P. Cintula} et al., Ann. Pure Appl. Logic 150, No. 1--3, 40--65 (2007; Zbl 1140.03010) Full Text: DOI
Horčík, Rostislav On the failure of standard completeness in \(\Pi\)MTL for infinite theories. (English) Zbl 1117.03032 Fuzzy Sets Syst. 158, No. 6, 619-624 (2007). MSC: 03B52 03B50 PDFBibTeX XMLCite \textit{R. Horčík}, Fuzzy Sets Syst. 158, No. 6, 619--624 (2007; Zbl 1117.03032) Full Text: DOI
Horčík, Rostislav Alternative proof of standard completeness theorem for MTL. (English) Zbl 1108.03029 Soft Comput. 11, No. 2, 123-129 (2007). MSC: 03B52 PDFBibTeX XMLCite \textit{R. Horčík}, Soft Comput. 11, No. 2, 123--129 (2007; Zbl 1108.03029) Full Text: DOI
Horčík, Rostislav Standard completeness theorem for \(\Pi\)MTL. (English) Zbl 1071.03013 Arch. Math. Logic 44, No. 4, 413-424 (2005). Reviewer: Vilém Novák (Ostrava) MSC: 03B52 03B50 03G25 PDFBibTeX XMLCite \textit{R. Horčík}, Arch. Math. Logic 44, No. 4, 413--424 (2005; Zbl 1071.03013) Full Text: DOI