Auteur: Silvio Ghilardi

This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, Fro Co S 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full …

This book is an example of fruitful interaction between (non-classical) propo- sitionallogics and (classical) model theory which was made possible due to categorical logic. Its main aim consists in …