Description:
1. Introduction2. Universal Algebra3. Order, Lattices and Boolean Algebras4. Syntax5. Semantics6. Logic7. Matrices and Atlases8. Representation Theorems9. Classical Propositional Logic10. Modal Logic and Closure Algebras11. Intuitionistic Logic12. Gaggles: General Galois Logics13. Representation and Duality14. References15. Index
Expand description
Please Wait