1: Introduction
2: Universal Algebra
3: Order, Lattices and Boolean Algebras
4: Syntax
5: Semantics
6: Logic
7: Matrices and Atlases
8: Representation Theorems
9: Classical Propositional Logic
10: Modal Logic and Closure Algebras
11: Intuitionistic Logic
12: Gaggles: General Galois Logics
13: Representation and Duality
14: References
15: Index
"This book provides an introduction tot he algebraic study of classical and non-classical propositional logics. . . . The general theme of the text is to show how standard logical results, such as completeness, are obtained from standard algebraic results, such as representation theorems. . . . Overall, the book is a rich source of information and the authors' style of presentation makes it enjoyable to read." -- Mathematical Reviews
Ask a Question About this Product More... |