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
Volume 54, Number 2, March 1995
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
Volume 54, Number 3, May 1995
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
Copyright ©
Sun May 17 00:22:05 2009 by
Michael Ley
(
ley@uni-trier.de
)