Bimbo, Katalin Generalized Galois Logics (1575865742)
Nonclassical logics have recently played an increasing role 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.
All the categories
