Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi By Katalin Bimbó, J. Michael Dunn
2008 | 394 Pages | ISBN: 1575865742 | PDF | 29 MB
2008 | 394 Pages | ISBN: 1575865742 | PDF | 29 MB
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.