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
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi- J. Michael Dunn, Katalin Bimbó
- Publication Date
2008 - Website
- View publication information