Книга Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi

Формат
Мова книги
Рік видання

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.

Код товару
20049591
Характеристики
Тип обкладинки
М'яка
Мова
Англійська
Опис книги

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.

Відгуки
Виникли запитання? 0-800-335-425
1945 грн
Немає в наявності
Паперова книга