Sheaves, games, and model completions : a categorical approach to nonclassical propositional logics - Ghilardi, Silvio (Trends in logic ;, 2002)