Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

J. Michael Dunn, Katalin Bimbó
Publication Date
2008
Website
View publication information

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.

Citation

Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi, J.Michael Dunn, Katalin Bimbó through CLSI publications (2008).