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.
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi, J.Michael Dunn, Katalin Bimbó through CLSI publications (2008).