Jeřábek, Emil A note on the substructural hierarchy. (English) Zbl 1357.03057 Math. Log. Q. 62, No. 1-2, 102-110 (2016). MSC: 03B47 03F03 PDFBibTeX XMLCite \textit{E. Jeřábek}, Math. Log. Q. 62, No. 1--2, 102--110 (2016; Zbl 1357.03057) Full Text: DOI arXiv
Fischer, Vera Maximal cofinitary groups revisited. (English) Zbl 1372.03096 Math. Log. Q. 61, No. 4-5, 367-379 (2015). MSC: 03E35 20B07 03F05 03E17 20A15 PDFBibTeX XMLCite \textit{V. Fischer}, Math. Log. Q. 61, No. 4--5, 367--379 (2015; Zbl 1372.03096) Full Text: DOI
Kozak, Michał Strong negation in intuitionistic style sequent systems for residuated lattices. (English) Zbl 1343.03020 Math. Log. Q. 60, No. 4-5, 319-334 (2014). MSC: 03B47 03F03 03G25 PDFBibTeX XMLCite \textit{M. Kozak}, Math. Log. Q. 60, No. 4--5, 319--334 (2014; Zbl 1343.03020) Full Text: DOI
Vejjajiva, Pimpen Extended Curry-Howard terms for second-order logic. (English) Zbl 1323.03035 Math. Log. Q. 59, No. 4-5, 274-285 (2013). MSC: 03B70 03F03 03F05 03F65 PDFBibTeX XMLCite \textit{P. Vejjajiva}, Math. Log. Q. 59, No. 4--5, 274--285 (2013; Zbl 1323.03035) Full Text: DOI
Došen, Kosta; Petrić, Zoran Isomorphic formulae in classical propositional logic. (English) Zbl 1262.03119 Math. Log. Q. 58, No. 1-2, 5-17 (2012). Reviewer: François Métayer (Paris) MSC: 03F03 03B05 03F07 03F52 03G30 PDFBibTeX XMLCite \textit{K. Došen} and \textit{Z. Petrić}, Math. Log. Q. 58, No. 1--2, 5--17 (2012; Zbl 1262.03119) Full Text: DOI arXiv
Curi, Giovanni On some peculiar aspects of the constructive theory of point-free spaces. (English) Zbl 1200.03043 Math. Log. Q. 56, No. 4, 375-387 (2010). MSC: 03F50 03F65 06D22 54A35 PDFBibTeX XMLCite \textit{G. Curi}, Math. Log. Q. 56, No. 4, 375--387 (2010; Zbl 1200.03043) Full Text: DOI
Brünnler, Kai; Probst, Dieter; Studer, Thomas On contraction and the modal fragment. (English) Zbl 1152.03013 Math. Log. Q. 54, No. 4, 345-349 (2008). Reviewer: Osamu Sonobe (Follonica) MSC: 03B20 03B45 03F03 03B10 03B25 PDFBibTeX XMLCite \textit{K. Brünnler} et al., Math. Log. Q. 54, No. 4, 345--349 (2008; Zbl 1152.03013) Full Text: DOI Link
Daynes, Arief A new technique for proving realisability and consistency theorems using finite paraconsistent models of cut-free logic. (English) Zbl 1110.03050 Math. Log. Q. 52, No. 6, 540-554 (2006). MSC: 03F03 03B53 03F30 PDFBibTeX XMLCite \textit{A. Daynes}, Math. Log. Q. 52, No. 6, 540--554 (2006; Zbl 1110.03050) Full Text: DOI
von Plato, Jan Normal derivability in modal logic. (English) Zbl 1087.03014 Math. Log. Q. 51, No. 6, 632-638 (2005). Reviewer: Mohammad Ardeshir (Tehran) MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{J. von Plato}, Math. Log. Q. 51, No. 6, 632--638 (2005; Zbl 1087.03014) Full Text: DOI
von Plato, Jan Translations from natural deduction to sequent calculus. (English) Zbl 1040.03042 Math. Log. Q. 49, No. 5, 435-443 (2003). Reviewer: Osamu Sonobe (Follonica) MSC: 03F05 03B20 03F03 PDFBibTeX XMLCite \textit{J. von Plato}, Math. Log. Q. 49, No. 5, 435--443 (2003; Zbl 1040.03042) Full Text: DOI
Zhang, Yi Adjoining almost disjoint permutations. (English) Zbl 0998.03040 Math. Log. Q. 48, No. 2, 189-193 (2002). Reviewer: Jörg D.Brendle (Kobe) MSC: 03E35 03E17 20B35 20A15 20B07 03E50 PDFBibTeX XMLCite \textit{Y. Zhang}, Math. Log. Q. 48, No. 2, 189--193 (2002; Zbl 0998.03040) Full Text: DOI
Wansing, Heinrich Tarskian structured consequence relations and functional completeness. (English) Zbl 0816.03015 Math. Log. Q. 41, No. 1, 73-92 (1995). Reviewer: V.I.Burenkov (Cardiff) MSC: 03B60 03B20 68P15 03F03 03F05 PDFBibTeX XMLCite \textit{H. Wansing}, Math. Log. Q. 41, No. 1, 73--92 (1995; Zbl 0816.03015) Full Text: DOI
Pambuccian, Victor Ternary operations as primitive notions for constructive plane geometry. V. (English) Zbl 0808.03045 Math. Log. Q. 40, No. 4, 455-477 (1994). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03F65 51M05 51M15 03B30 PDFBibTeX XMLCite \textit{V. Pambuccian}, Math. Log. Q. 40, No. 4, 455--477 (1994; Zbl 0808.03045) Full Text: DOI
Pambuccian, Victor Ternary operations as primitive notions for constructive plane geometry. IV. (English) Zbl 0799.03072 Math. Log. Q. 40, No. 1, 76-86 (1994). Reviewer: V.V.Pambuccian (Ann Arbor) MSC: 03F65 51M05 51M15 03B30 PDFBibTeX XMLCite \textit{V. Pambuccian}, Math. Log. Q. 40, No. 1, 76--86 (1994; Zbl 0799.03072) Full Text: DOI
Pambuccian, Victor Ternary operations as primitive notions for constructive plane geometry. III. (English) Zbl 0799.03071 Math. Log. Q. 39, No. 3, 393-402 (1993). Reviewer: V.V.Pambuccian (Ann Arbor) MSC: 03F65 51M05 51M15 03B30 PDFBibTeX XMLCite \textit{V. Pambuccian}, Math. Log. Q. 39, No. 3, 393--402 (1993; Zbl 0799.03071) Full Text: DOI
Kandulski, Maciej Normal form of derivations in the nonassociative and commutative Lambek calculus with product. (English) Zbl 0803.03015 Math. Log. Q. 39, No. 1, 103-114 (1993). MSC: 03B99 68Q45 68Q42 PDFBibTeX XMLCite \textit{M. Kandulski}, Math. Log. Q. 39, No. 1, 103--114 (1993; Zbl 0803.03015) Full Text: DOI