Castiglioni, J. L.; Menni, M.; Sagastume, M. On some categories of involutive centered residuated lattices. (English) Zbl 1165.06002 Stud. Log. 90, No. 1, 93-124 (2008). Reviewer: Dana Piciu (Craiova) MSC: 06D05 03G30 06F05 PDFBibTeX XMLCite \textit{J. L. Castiglioni} et al., Stud. Log. 90, No. 1, 93--124 (2008; Zbl 1165.06002) Full Text: DOI
Buszkowski, Wojciech; Palka, Ewa Infinitary action logic: complexity, models and grammars. (English) Zbl 1209.03015 Stud. Log. 89, No. 1, 1-18 (2008). MSC: 03B47 03B65 03G15 68Q70 PDFBibTeX XMLCite \textit{W. Buszkowski} and \textit{E. Palka}, Stud. Log. 89, No. 1, 1--18 (2008; Zbl 1209.03015) Full Text: DOI
Leschine, Thomas M. Propositional logic for topology-like matrices: A calculus with restricted substitution. (English) Zbl 0414.03012 Stud. Log. 37, 161-165 (1978). MSC: 03B50 03G10 PDFBibTeX XMLCite \textit{T. M. Leschine}, Stud. Log. 37, 161--165 (1978; Zbl 0414.03012) Full Text: DOI