The book is meant to serve two purposes. The first and more obvious one is to present state of th...

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

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

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

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

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

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...

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

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

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