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 |
|---|
