Sheaves, Games, and Model Completions
Subtitle: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic)
Edition: 1 edition
Publisher: Springer
Published: July 31, 2002
Language: eng
Format: Hardcover
Number of pages: 254
ISBN-13: 9781402006609
Subjects: Logic; Science/Mathematics; Category Theory; Mathematical And Symbolic Logic; Mathematics; Proposition (Logic); Model theory; Artificial Intelligence - General; Philosophy / Logic; Categories (Mathematics); Functional Analysis; Geometry - Algebraic
First sentence: This book is an example of fruitful interaction between (non-classical) propositional logics and (classical) model theory which was made possible due to categorical logic.