|
Description:
|
This volume is a selection of papers from the European Summer Meeting of the Association for Symbolic Logic, held in Veszprem, Hungary, in August 1992. The papers included grew out of invited and contributed talks on the two main themes of the conference, algebraic logic, and the axiomatizability and decidability of logical systems. Written from an interdisciplinary perspective, most of the contributions investigate logical properties of formal systems by studying algebraic properties of corresponding classes of algebras, or vice versa. The remaining papers focus on connected areas from model theory and the combination of logics. Significant and timely, LOGIC COLLOUIUM '92 is a collection of articles on algebraic logic and related areas written by the leading scholars in these fields.
|