Jeřábek, Emil Blending margins: the modal logic K has nullary unification type. (English) Zbl 1328.03019 J. Log. Comput. 25, No. 5, 1231-1240 (2015). MSC: 03B45 68T27 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Log. Comput. 25, No. 5, 1231--1240 (2015; Zbl 1328.03019) Full Text: DOI arXiv
Jeřábek, Emil The complexity of admissible rules of Łukasiewicz logic. (English) Zbl 1279.03045 J. Log. Comput. 23, No. 3, 693-705 (2013). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B25 03F20 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Log. Comput. 23, No. 3, 693--705 (2013; Zbl 1279.03045) Full Text: DOI arXiv
Jeřábek, Emil Bases of admissible rules of Łukasiewicz logic. (English) Zbl 1216.03043 J. Log. Comput. 20, No. 6, 1149-1163 (2010). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Log. Comput. 20, No. 6, 1149--1163 (2010; Zbl 1216.03043) Full Text: DOI
Jerábek, Emil Admissible rules of Łukasiewicz logic. (English) Zbl 1216.03042 J. Log. Comput. 20, No. 2, 425-447 (2010). Reviewer: Albert Hoogewijs (Gent) MSC: 03B50 03B25 06D35 PDFBibTeX XMLCite \textit{E. Jerábek}, J. Log. Comput. 20, No. 2, 425--447 (2010; Zbl 1216.03042) Full Text: DOI
Jeřábek, Emil Proof complexity of the cut-free calculus of structures. (English) Zbl 1175.03036 J. Log. Comput. 19, No. 2, 323-339 (2009). Reviewer: Reinhard Kahle (Coimbra) MSC: 03F20 03F05 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Log. Comput. 19, No. 2, 323--339 (2009; Zbl 1175.03036) Full Text: DOI Link
Jeřábek, Emil On independence of variants of the weak pigeonhole principle. (English) Zbl 1132.03029 J. Log. Comput. 17, No. 3, 587-604 (2007). Reviewer: G. E. Mints (Stanford) MSC: 03F20 03F30 94A60 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Log. Comput. 17, No. 3, 587--604 (2007; Zbl 1132.03029) Full Text: DOI Link
Jeřábek, Emil Admissible rules of modal logics. (English) Zbl 1077.03011 J. Log. Comput. 15, No. 4, 411-431 (2005). Reviewer: Giacomo Bonanno (Davis) MSC: 03B45 PDFBibTeX XMLCite \textit{E. Jeřábek}, J. Log. Comput. 15, No. 4, 411--431 (2005; Zbl 1077.03011) Full Text: DOI