Studia Logica, Volume 54

Volume 54, Number 1, January 1995

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

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

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