Badura, Lidia; Zaionc, Marek Parametrizability by regular expressions for equations on words. (English) Zbl 1286.68273 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 79-93 (2007). MSC: 68Q45 68R15 PDFBibTeX XMLCite \textit{L. Badura} and \textit{M. Zaionc}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 79--93 (2007; Zbl 1286.68273) Full Text: Link
Schumann, Andrew Non-Archimedean valued predicate logic. (English) Zbl 1286.03094 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 67-78 (2007). MSC: 03B50 PDFBibTeX XMLCite \textit{A. Schumann}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 67--78 (2007; Zbl 1286.03094) Full Text: Link
Frankowski, Szymon Pure strict implication logics. (English) Zbl 1286.03056 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 59-65 (2007). MSC: 03B45 PDFBibTeX XMLCite \textit{S. Frankowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 59--65 (2007; Zbl 1286.03056) Full Text: Link
Méndez, José M.; Robles, Gemma; Salto, Francisco The basic constructive logic for negation-consistency defined with a propositional falsity constant. (English) Zbl 1286.03083 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 45-57 (2007). MSC: 03B47 PDFBibTeX XMLCite \textit{J. M. Méndez} et al., Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 45--57 (2007; Zbl 1286.03083) Full Text: Link
Kostrzycka, Zofia On the existence of a continuum of logics in \(\mathrm{NEXT}(\mathrm{KTB}\oplus \square^2p \to \square^3p)\). (English) Zbl 1286.03063 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 37-43 (2007). MSC: 03B45 PDFBibTeX XMLCite \textit{Z. Kostrzycka}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 37--43 (2007; Zbl 1286.03063) Full Text: Link
Sayed Ahmed, Tarek Neat embedding is not sufficient for complete representability. (English) Zbl 1286.03174 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 29-35 (2007). MSC: 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 29--35 (2007; Zbl 1286.03174) Full Text: Link
Sayed Ahmed, Tarek A non-finitizability result in algebraic logic. (English) Zbl 1286.03173 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 21-27 (2007). MSC: 03G15 PDFBibTeX XMLCite \textit{T. Sayed Ahmed}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 21--27 (2007; Zbl 1286.03173) Full Text: Link
Malinowski, Grzegorz That \(p + q = \mathrm{c(onsequence)}\). (English) Zbl 1286.03020 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 7-19 (2007). MSC: 03A05 03B22 03B50 PDFBibTeX XMLCite \textit{G. Malinowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 7--19 (2007; Zbl 1286.03020) Full Text: Link
Sochacki, Robert Axiomatic rejection in the implicational-negational invariant sentential calculi of Łukasiewicz. (English) Zbl 1286.03095 Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1-2, 1-6 (2007). MSC: 03B50 PDFBibTeX XMLCite \textit{R. Sochacki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 36, No. 1--2, 1--6 (2007; Zbl 1286.03095) Full Text: Link