PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Stephen Simpson.

Title:Sheaf semantics for higher-order intuitionistic logic
Seminar:Logic Seminar
Speaker:Sankha Basu, Pennsylvania State University
Abstract:
This talk will be roughly divided into three parts. In the first part of the talk, I will introduce sheaves over topological spaces, and I will discuss the construction of product, power and function sheaves. Next, I will discuss Higher Order Intuitionistic Logic along with some of its deviations from Classical Logic. The concluding section of the talk will be an exciting interplay between Geometry and Logic via the interpretability of Higher Order Intuitionistic Logic in the category of sheaves over a fixed topological space.

Room Reservation Information

Room Number:MB315
Date:11 / 09 / 2010
Time:02:30pm - 03:45pm