Restall, Greg Structural rules in natural deduction with alternatives. (English) Zbl 07811411 Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 109-143 (2023). MSC: 03A05 03F03 03F52 PDFBibTeX XMLCite \textit{G. Restall}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 52, No. 2, 109--143 (2023; Zbl 07811411) Full Text: DOI
Sasaki, Katsumi A classification of improper inference rules. (English) Zbl 07811390 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 2, 243-266 (2022). MSC: 03B05 PDFBibTeX XMLCite \textit{K. Sasaki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 2, 243--266 (2022; Zbl 07811390) Full Text: DOI
Gordeev, Lew; Haeusler, E. Hermann Proof compression and NP versus PSPACE II: Addendum. (English) Zbl 07811387 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 2, 197-205 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{L. Gordeev} and \textit{E. H. Haeusler}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 2, 197--205 (2022; Zbl 07811387) Full Text: DOI arXiv
Braüner, Torben Analytic non-labelled proof-systems for hybrid logic: overview and a couple of striking facts. (English) Zbl 07811384 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 2, 143-162 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{T. Braüner}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 2, 143--162 (2022; Zbl 07811384) Full Text: DOI
Sasaki, Katsumi A sequent system without improper derivations. (English) Zbl 07696165 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 1, 91-108 (2022). MSC: 03B05 PDFBibTeX XMLCite \textit{K. Sasaki}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 1, 91--108 (2022; Zbl 07696165) Full Text: DOI
Gordeev, Lew; Haeusler, Edward Hermann Proof compression and NP versus PSPACE. II. (English) Zbl 1477.03246 Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 3, 213-230 (2020). MSC: 03F20 03D15 68Q15 PDFBibTeX XMLCite \textit{L. Gordeev} and \textit{E. H. Haeusler}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 3, 213--230 (2020; Zbl 1477.03246) Full Text: DOI
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 PDFBibTeX XMLCite \textit{N. Kürbis}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 4, 299--317 (2019; Zbl 1446.03026) Full Text: DOI arXiv
Kürbis, Nils A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation. (English) Zbl 1477.03024 Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 2, 81-97 (2019). MSC: 03B20 PDFBibTeX XMLCite \textit{N. Kürbis}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 48, No. 2, 81--97 (2019; Zbl 1477.03024) Full Text: DOI arXiv
von Plato, Jan From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction. (English) Zbl 1423.03241 Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1-2, 65-73 (2017). MSC: 03F07 03F03 PDFBibTeX XMLCite \textit{J. von Plato}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 46, No. 1--2, 65--73 (2017; Zbl 1423.03241) Full Text: DOI
Ilić, Mirjana An alternative natural deduction for the intuitionistic propositional logic. (English) Zbl 1403.03013 Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 1, 33-51 (2016). MSC: 03B20 03F03 03F05 PDFBibTeX XMLCite \textit{M. Ilić}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 45, No. 1, 33--51 (2016; Zbl 1403.03013) Full Text: DOI
Komori, Yuichi \(\lambda\rho\)-calculus: A natural deduction for classical logic. (English) Zbl 1036.03011 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 2, 65-70 (2002). MSC: 03B40 PDFBibTeX XMLCite \textit{Y. Komori}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 2, 65--70 (2002; Zbl 1036.03011)
Indrzejczak, Andrzej Resolution based natural deduction. (English) Zbl 1032.03526 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 3, 159-170 (2002). MSC: 03F07 03B35 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 3, 159--170 (2002; Zbl 1032.03526)
Rentería, Christian J.; Haeusler, Edward H. A natural deduction system for CTL. (English) Zbl 1032.03031 Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 4, 231-240 (2002). MSC: 03B70 03F05 68Q60 68Q85 PDFBibTeX XMLCite \textit{C. J. Rentería} and \textit{E. H. Haeusler}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 31, No. 4, 231--240 (2002; Zbl 1032.03031)
Indrzejczak, Andrzej Natural deduction system for tense logics. (English) Zbl 0816.03008 Bull. Sect. Log., Univ. Łódź, Dep Log. 23, No. 4, 173-179 (1994). Reviewer: L.A.Chagrova (Tver’) MSC: 03B45 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 4, 173--179 (1994; Zbl 0816.03008)
Aoto, Takahito; Ono, Hiroakira Non-uniqueness of normal proofs for minimal formulas in implication- conjunction fragment of BCK. (English) Zbl 0808.03002 Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 3, 104-112 (1994). MSC: 03B20 03F05 PDFBibTeX XMLCite \textit{T. Aoto} and \textit{H. Ono}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 3, 104--112 (1994; Zbl 0808.03002)
Indrzejczak, Andrzej Natural deduction in quantifier modal logic. (English) Zbl 0806.03015 Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 1, 30-40 (1994). Reviewer: W.Lenzen (Osnabrück) MSC: 03B45 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 23, No. 1, 30--40 (1994; Zbl 0806.03015)