A01=J. Michael Dunn
A01=Katalin Bimbo
academia
academic
Author_J. Michael Dunn
Author_Katalin Bimbo
boolean
Category=CFG
Category=QDTL
college
computer science
constants
duality
eq_bestseller
eq_dictionaries-language-reference
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
gaggles
interdisciplinary
k
lambek calculi
lgebra
linear
linguist
linguistic
linguistics
logical
mathematics
modal
philosophical
philosophy
relevance
research
s5
scholarly
semantic
semi lattice
substructural logics
textbook
university
Product details
- ISBN 9781575865744
- Weight: 539g
- Dimensions: 16 x 23mm
- Publication Date: 01 Jul 2008
- Publisher: Centre for the Study of Language & Information
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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.
Katalin Bimbo is a research associate at Indiana University. J. Michael Dunn is the Oscar R. Ewing Professor Emeritus of Philosophy and professor emeritus of computer science, cognitive science, and informatics at Indiana University.
