Studia Logica, Volume 54

Volume 54, Number 1, January 1995

Ewa Orlowska, Andrzej Skowron: In Memoriam Helena Rasiowa. 1-2 BibTeX
Yde Venema: Meeting strength in substructural logics. 3-32 BibTeX
Newton C. A. da Costa, Francisco A. Doria: On Jaskowski's discussive logic. 33-60 BibTeX
Maarten de Rijke, Yde Venema: Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras. 61-78 BibTeX
Dmitrij P. Skvortsov: On the predicate logic of finite Kripke frames. 79-88 BibTeX
Alexej P. Pynko: Algebraic study of sette's maximal paraconsistent logic. 89-128 BibTeX

Joanna Grygiel: Freely generated filters in free Boolean algebras. 139-147 BibTeX
Andreja Prijatelj: Connectification for n-contraction. 149-171 BibTeX
Nobu-Yuki Suzuki: Constructing a continuum of predicate extensions of each intermediate propositional logic. 173-198 BibTeX
David J. Pym: A note on the proof theory of the lambda-II-calculus. 199-230 BibTeX
Max P. Urchs: Discursive logic. Towards a logic of rational discourse. 231-249 BibTeX

Ming Xu: Busy choice sequences, refraining formulas and modalities. 267-301 BibTeX
George Epstein, Helena Rasiowa: A partially ordered extention of the integers. 303-332 BibTeX
Hilary A. Priestley: Natural dualities for varieties of n-valued Lukasiewicz algebras. 333-370 BibTeX
M. E. Adams, Wieslaw Dziobiak: Joins of minimal quasivarieties. 371-389 BibTeX
Marek Nowak, Daniel Vanderveken: A complete minimal logic of the propositional contents of thought. 391-410 BibTeX