Indrzejczak, Andrzej Cut-free double sequent calculus for S5. (English) Zbl 0910.03013 Log. J. IGPL 6, No. 3, 505-516 (1998). Reviewer: G.Mints (Stanford) MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Log. J. IGPL 6, No. 3, 505--516 (1998; Zbl 0910.03013) Full Text: DOI
Goré, Rajeev Substructural logics on display. (English) Zbl 0906.03020 Log. J. IGPL 6, No. 3, 451-504 (1998). Reviewer: G.Mints (Stanford) MSC: 03B47 03F05 03B20 PDFBibTeX XMLCite \textit{R. Goré}, Log. J. IGPL 6, No. 3, 451--504 (1998; Zbl 0906.03020) Full Text: DOI Link
Finger, Marcelo Towards structurally-free theorem proving. (English) Zbl 0906.03011 Log. J. IGPL 6, No. 3, 425-449 (1998). Reviewer: U.Schöning (Ulm) MSC: 03B35 03B40 PDFBibTeX XMLCite \textit{M. Finger}, Log. J. IGPL 6, No. 3, 425--449 (1998; Zbl 0906.03011) Full Text: DOI Link
Bimbó, Katalin; Dunn, J. Michael Two extensions of the structurally free logic LC. (English) Zbl 0904.03006 Log. J. IGPL 6, No. 3, 403-424 (1998). Reviewer: H.Wansing (Leipzig) MSC: 03B20 03F05 03B40 03B47 PDFBibTeX XMLCite \textit{K. Bimbó} and \textit{J. M. Dunn}, Log. J. IGPL 6, No. 3, 403--424 (1998; Zbl 0904.03006) Full Text: DOI
Battilotti, Giulia Embedding classical logic into basic orthologic with a primitive modality. (English) Zbl 0907.03027 Log. J. IGPL 6, No. 3, 383-402 (1998). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03G12 03F05 03B45 03B53 PDFBibTeX XMLCite \textit{G. Battilotti}, Log. J. IGPL 6, No. 3, 383--402 (1998; Zbl 0907.03027) Full Text: DOI
Wansing, Heinrich Editorial introduction: Special issue on consequence relations and sequent systems. (English) Zbl 0902.03005 Log. J. IGPL 6, No. 3, 377-381 (1998). Reviewer: B.Boričić (Beograd) MSC: 03B22 03F05 03-02 03-03 PDFBibTeX XMLCite \textit{H. Wansing}, Log. J. IGPL 6, No. 3, 377--381 (1998; Zbl 0902.03005) Full Text: DOI