Journal: Studia Logica

Volume 44, Issue 4

321 -- 351Janusz Czelakowski, Grzegorz Malinowski. Key notions of Tarski's methodology of deductive systems
353 -- 368Helena Rasiowa. +-valued Post logic
369 -- 387Janusz Czelakowski. Algebraic aspects of deduction theorems
389 -- 403Johan van Benthem. The variety of consequence, according to Bolzano
405 -- 422Carlos E. Alchourrón, David Makinson. On the logic of theory change: Safe contraction
423 -- 437Robert Goldblatt. An algebraic study of well-foundedness
439 -- 445Raymond M. Smullyan. Uniform self-reference

Volume 44, Issue 3

233 -- 236Steve Giambrone. On purported Gentzen formulations of two positive relevent logics
237 -- 256Andrzej W. Jankowski, Marek W. Zawadowski. Sheaves over Heyting lattices
257 -- 264Zarko Mijajlovic. On the definability of the quantifier "there exist uncountably many"
265 -- 283Janusz Czelakowski. Sentential logics and Maehara Interpolation Property
285 -- 289T. A. McKee. Generalized equivalence: A pattern of mathematical expression
291 -- 317Valentin Goranko. The Craig interpolation theorem for prepositional logics with strong negation

Volume 44, Issue 2

109 -- 124Andrzej W. Jankowski. Galois structures
125 -- 137Anita Wasilewska. Programs and logics
139 -- 158Anita Wasilewska. Trees and diagrams of decomposition
159 -- 164Harry Deutsch. A note on the decidability of a strong relevant logic
165 -- 186Raymond Turner. Three theories of nominalized predicates
187 -- 196Hiroakira Ono. Semantical analysis of predicate logics without the contraction rule
197 -- 221Maurizio Fattorosi-Barnaba, F. Caro. Graded modalities. I
223 -- 230Janusz Czelakowski. Books received

Volume 44, Issue 1

1 -- 9Andrzej W. Jankowski. Universality of the closure space of filters in the algebra of all subsets
11 -- 24Andrzej W. Jankowski. Disjunctions in closure spaces
25 -- 38Marek W. Zawadowski. The Skolem-Löwenheim theorem in toposes. II
39 -- 70Kosta Dosen. Models for stronger normal intuitionistic modal logics
71 -- 77Mitio Takano. A semantical investigation into Leśniewski's axiom of his ontology
79 -- 85Dimiter Vakarelov. An application of Rieger-Nishimura formulas to the intuitionistic modal logics
87 -- 89Aldo Ursini. Decision problems for classes of diagonalizable algebras
91 -- 100Ewa Orlowska. Logic of nondeterministic information
101 -- 105Janusz Czelakowski. Books received