Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics /

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

Main Author:	Ghilardi, Silvio
Corporate Author:	SpringerLink (Online service)
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. Electronic books.
Online Access:	Connect to the full text of this electronic book