登入選單
返回Google圖書搜尋
Generalized Galois Logics
Katalin BimbóJ. Michael Dunn
其他書名
Relational Semantics of Nonclassical Logical Calculi
出版CSLI Publications, 2008
主題Language Arts & Disciplines / Linguistics / GeneralMathematics / Algebra / GeneralMathematics / LogicPhilosophy / GeneralPhilosophy / LogicPhilosophy / Language
ISBN15758657429781575865744
URLhttp://books.google.com.hk/books?id=MHs-AQAAIAAJ&hl=&source=gbs_api
註釋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.