This book offers a concise introduction to both proof-theory and algebraic methods, the core of t...

This volume brings together a group of logic-minded philosophers and philosophically oriented log...

This volume brings together a group of logic-minded philosophers and philosophically oriented log...

This contributed volume includes both theoretical research on philosophical logic and itsapplicat...

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic...

This contributed volume includes both theoretical research on philosophical logic and itsapplicat...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book...

This volume gathers selected papers presented at the Fourth Asian Workshop on Philosophical Logic...

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...

Large-scale data processing is important. Most successful applications of m- ern science and engi...

This volume is devoted to the main areas of mathematical logic and applications to computer scien...