Key notions of Tarski's methodology of deductive systems Janusz CzelakowskiGrzegorz Malinowski OriginalPaper Pages: 321 - 351
Topological representations of Post algebras of order ω+ and open theories based on ω+-valued Post logic Helena Rasiowa OriginalPaper Pages: 353 - 368
On the logic of theory change: Safe contraction Carlos E. AlchourrónDavid Makinson OriginalPaper Pages: 405 - 422