Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics / by Silvio Ghilardi, Marek Zawadowski.

This book investigates propositional intuitionistic and modal logics from an entirely new point of view, covering quite recent and sometimes yet unpublished results. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, relating it both with proof theor...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Ghilardi, Silvio
Other Authors:	Zawadowski, Marek
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Series:	Trends in Logic, Studia Logica Library ; 14.
Subjects:	Philosophy (General) Logic. Artificial intelligence. Algebra. Logic, Symbolic and mathematical.