Generalized Galois Logics
Relational Semantics of Nonclassical Logical Calculi
9781575865744
9781575865737
9781575868783
Distributed for Center for the Study of Language and Information
Generalized Galois Logics
Relational Semantics of Nonclassical Logical Calculi
Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. Generalized Galois Logics develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
Table of Contents
Introduction
1. Boolean gaggles
2. Gaggles: distributive lattices with families of operations
3. Nondistributive gaggles
4. Semi-lattice gaggles
5. Partial gaggles
6. Constants
7. Inductively defined operations
8. Cononicity
9. Duality
10. Heterogeneous topics
Be the first to know
Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!