Hawranek, Jacek A matrix adequate for S5 with MP and RN. (English) Zbl 0459.03009 Bull. Sect. Logic, Pol. Acad. Sci. 9, 122-124 (1980). MSC: 03B45 PDFBibTeX XMLCite \textit{J. Hawranek}, Bull. Sect. Logic, Pol. Acad. Sci. 9, 122--124 (1980; Zbl 0459.03009)
Hawranek, Jacek Some examples concerning uniformity and complexity of sentential logics. (English) Zbl 0446.03022 Bull. Sect. Logic, Pol. Acad. Sci. 9, 71-72 (1980). MSC: 03B60 PDFBibTeX XMLCite \textit{J. Hawranek}, Bull. Sect. Logic, Pol. Acad. Sci. 9, 71--72 (1980; Zbl 0446.03022)
Hawranek, Jacek; Zygmunt, Jan A theorem on the degree of complexity of some sentential logics. (English) Zbl 0446.03021 Bull. Sect. Logic, Pol. Acad. Sci. 9, 67-70 (1980). MSC: 03B60 PDFBibTeX XMLCite \textit{J. Hawranek} and \textit{J. Zygmunt}, Bull. Sect. Logic, Pol. Acad. Sci. 9, 67--70 (1980; Zbl 0446.03021)