Silvio Ghilardi – författare
Visar alla böcker från författaren Silvio Ghilardi. Handla med fri frakt och snabb leverans.
6 produkter
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av Silvio Ghilardi, M. Zawadowski
Inbunden, 2002
1096 kr
Lägg i varukorg
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 investigating the existence of model completions for equational theories arising from propositional …
Advances in Modal Logic Volume 9
Av Thomas Bolander, Torben Brauner m. fl.
Häftad, 2012
300 kr
Lägg i varukorg
Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Av Silvio Ghilardi, Roberto Sebastiani
Häftad, 2009
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on …
Frontiers of Combining Systems
7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009, Proceedings
Av Roberto Sebastiani, Silvio Ghilardi
E-bok, 2009
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 7th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Trento, Italy, September 16-18, 2009. The 20 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on …
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av Silvio Ghilardi, M. Zawadowski
Häftad, 2010
1096 kr
Lägg i varukorg
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 investigating the existence of model completions for equational theories arising from propositional …
Sheaves, Games, and Model Completions
A Categorical Approach to Nonclassical Propositional Logics
Av M. Zawadowski, Silvio Ghilardi
E-bok, 2013
1413 kr
Lägg i varukorg
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 investigating the existence of model completions for equational theories arising from propositional …
