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