Sayed Ahmed, Tarek Complete representations and neat embeddings. (English) Zbl 07811399 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 411-453 (2022). MSC: 03B45 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 411--453 (2022; Zbl 07811399) Full Text: DOI
Stronkowski, Michał Grzegorczyk algebras revisited. (English) Zbl 1496.03260 Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 2, 129-139 (2018). MSC: 03G25 06E25 06D20 03B45 PDFBibTeX XMLCite \textit{M. Stronkowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 47, No. 2, 129--139 (2018; Zbl 1496.03260)
Dzik, Wojciech; Wróbel, Beniamin Unifiability in relation algebras and in products of S5. (English) Zbl 1357.03052 Bull. Sect. Log., Univ. Łódź, Dep. Log. 44, No. 1-2, 1-14 (2015). MSC: 03B45 03G15 PDFBibTeX XMLCite \textit{W. Dzik} and \textit{B. Wróbel}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 44, No. 1--2, 1--14 (2015; Zbl 1357.03052) Full Text: Link
Frankowski, Szymon About simulating polyadic frames. (English) Zbl 1322.03015 Bull. Sect. Log., Univ. Łódź, Dep. Log. 43, No. 3-4, 203-214 (2014). MSC: 03B45 03G15 PDFBibTeX XMLCite \textit{S. Frankowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 43, No. 3--4, 203--214 (2014; Zbl 1322.03015) Full Text: Link
Coniglio, Marcelo E.; Figallo, Martin On a four-valued modal logic with deductive implication. (English) Zbl 1336.03023 Bull. Sect. Log., Univ. Łódź, Dep. Log. 43, No. 1-2, 1-18 (2014). MSC: 03B45 03B50 03G10 03G25 PDFBibTeX XMLCite \textit{M. E. Coniglio} and \textit{M. Figallo}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 43, No. 1--2, 1--18 (2014; Zbl 1336.03023) Full Text: Link
Typanska, Lidia A note on post-complete extensions of a logic of values of A. Ivin. (English) Zbl 1287.03053 Bull. Sect. Log., Univ. Łódź, Dep. Log. 42, No. 3-4, 161-168 (2013). MSC: 03B45 03G20 PDFBibTeX XMLCite \textit{L. Typanska}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 42, No. 3--4, 161--168 (2013; Zbl 1287.03053) Full Text: Link
Hamal, Ahmet On the logic of closure algebra. (English) Zbl 1286.03059 Bull. Sect. Log., Univ. Łódź, Dep. Log. 40, No. 3-4, 147-163 (2011). MSC: 03B45 03B62 06E25 PDFBibTeX XMLCite \textit{A. Hamal}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 40, No. 3--4, 147--163 (2011; Zbl 1286.03059) Full Text: Link
Litak, Tadeusz The non-reflexive counterpart of Grz. (English) Zbl 1286.03066 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 3-4, 195-208 (2007). MSC: 03B45 03F45 PDFBibTeX XMLCite \textit{T. Litak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 3--4, 195--208 (2007; Zbl 1286.03066) Full Text: Link
Vuković, Mladen Hennessy-Milner theorem for interpretability logic. (English) Zbl 1117.03067 Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 4, 195-201 (2005). MSC: 03F45 03B45 PDFBibTeX XMLCite \textit{M. Vuković}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 34, No. 4, 195--201 (2005; Zbl 1117.03067)
Kracht, Marcus; Kowalski, Tomasz Atomic incompleteness or how to kill one bird with two stones. (English) Zbl 1038.03532 Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 2, 71-78 (2001). MSC: 03G25 03B45 03B44 PDFBibTeX XMLCite \textit{M. Kracht} and \textit{T. Kowalski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 30, No. 2, 71--78 (2001; Zbl 1038.03532)
Kowalski, Tomasz A remark on quasivarieties of modal algebras. (English) Zbl 1036.08005 Bull. Sect. Log., Univ. Łódź, Dep. Log. 29, No. 1-2, 27-30 (2000). Reviewer: Dimitru Busneag (Craiova) MSC: 08C15 03G25 08A30 PDFBibTeX XMLCite \textit{T. Kowalski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 29, No. 1--2, 27--30 (2000; Zbl 1036.08005)
Düntsch, Ivo; Orłowska, Ewa Mixing modal and sufficiency operators. (English) Zbl 0953.03020 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 2, 99-106 (1999). MSC: 03B45 06E25 03G05 PDFBibTeX XMLCite \textit{I. Düntsch} and \textit{E. Orłowska}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 2, 99--106 (1999; Zbl 0953.03020)
Ishii, Tadao A note on varieties of PCI-algebras with EDPC. (English) Zbl 0957.03062 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 2, 75-81 (1999). MSC: 03G25 PDFBibTeX XMLCite \textit{T. Ishii}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 2, 75--81 (1999; Zbl 0957.03062)
Rybakov, Vladimir V. An explicit basis for rules admissible in modal system S4. (English) Zbl 0961.03021 Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 3, 135-143 (1999). Reviewer: M.J.Cresswell (Wellington) MSC: 03B45 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 28, No. 3, 135--143 (1999; Zbl 0961.03021)
Rimatskiy, V. V. Finite bases of admissible inference rules for modal logics of width 2. (English) Zbl 0897.03016 Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 3, 126-134 (1997). MSC: 03B45 03G25 08C15 PDFBibTeX XMLCite \textit{V. V. Rimatskiy}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 26, No. 3, 126--134 (1997; Zbl 0897.03016)
Németi, István Ontology can turn negative results to positive. (An overview of recent results). (English) Zbl 0865.03019 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 1, 29-40 (1996). Reviewer: L.Esakia (Tbilisi) MSC: 03B99 03G15 PDFBibTeX XMLCite \textit{I. Németi}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 1, 29--40 (1996; Zbl 0865.03019)
Rybakov, Vladimir V. Even tabular modal logics sometimes do not have independent base for admissible rules. (English) Zbl 0847.03014 Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 37-40 (1995). Reviewer: A.V.Chagrov (Tver’) MSC: 03B45 03G25 PDFBibTeX XMLCite \textit{V. V. Rybakov}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 37--40 (1995; Zbl 0847.03014)
Maksimova, Larisa On variable separation in modal logics. (English) Zbl 0819.03013 Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 21-25 (1995). MSC: 03B45 03G25 03B55 PDFBibTeX XMLCite \textit{L. Maksimova}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 24, No. 1, 21--25 (1995; Zbl 0819.03013)