Complete and atomic algebras of the infinite valued Łukasiewicz logic Roberto Cignoli OriginalPaper Pages: 375 - 384
A deduction theorem schema for deductive systems of propositional logics Janusz CzelakowskiWiesław Dziobiak OriginalPaper Pages: 385 - 390
Algebraic logic for classical conjunction and disjunction Josep M. FontVentura Verdú OriginalPaper Pages: 391 - 419
The origin of relation algebras in the development and axiomatization of the calculus of relations Roger D. Maddux OriginalPaper Pages: 421 - 455
Amalgamation and interpolation in normal modal logics Larisa Maksimova OriginalPaper Pages: 457 - 471
Construction of monadic three-valued Łukasiewicz algebras Luiz MonteiroSonia SaviniJulio Sewald OriginalPaper Pages: 473 - 483
Algebraization of quantifier logics, an introductory overview István Németi OriginalPaper Pages: 485 - 569