Nowak, Marek Disjunctive multiple-conclusion consequence relations. (English) Zbl 1446.06007 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 319-328 (2019). MSC: 06A15 03B50 PDF BibTeX XML Cite \textit{M. Nowak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 319--328 (2019; Zbl 1446.06007) Full Text: DOI OpenURL
Kürbis, Nils Two treatments of definite descriptions in intuitionist negative free logic. (English) Zbl 1446.03026 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 299-317 (2019). MSC: 03B20 03A05 PDF BibTeX XML Cite \textit{N. Kürbis}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 299--317 (2019; Zbl 1446.03026) Full Text: DOI arXiv OpenURL
Grygiel, Joanna Many faces of lattice tolerances. (English) Zbl 1446.06009 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 285-298 (2019). MSC: 06B05 06B10 08A30 PDF BibTeX XML Cite \textit{J. Grygiel}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 285--298 (2019; Zbl 1446.06009) Full Text: DOI OpenURL
Chlebowski, Szymon; Leszczyńska-Jasion, Dorota An investigation into intuitionistic logic with identity. (English) Zbl 1446.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259-283 (2019). MSC: 03B20 03F05 PDF BibTeX XML Cite \textit{S. Chlebowski} and \textit{D. Leszczyńska-Jasion}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 259--283 (2019; Zbl 1446.03024) Full Text: DOI OpenURL
Yazaki, Daishi Semantical proof of subformula property for the modal logics \(\mathbf{K4.3}\), \(\mathbf{KD4.3}\), and \(\mathbf{S4.3}\). (English) Zbl 1446.03045 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 245-257 (2019). MSC: 03B45 PDF BibTeX XML Cite \textit{D. Yazaki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 245--257 (2019; Zbl 1446.03045) Full Text: DOI OpenURL