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

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

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

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

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

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

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

This book brings together contributions from philosophers interested in logic and logicians wi...

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