Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
Katalin Bimbó, J. Michael Dunn
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.
درجه (قاطیغوری(:
کال:
2008
خپرندویه اداره:
Center for the Study of Language and Information
ژبه:
english
صفحه:
394
ISBN 10:
1575865742
ISBN 13:
9781575865744
فایل:
PDF, 28.31 MB
IPFS:
,
english, 2008