--------------------
* JAIST Logic Seminar Series *
* This seminar is held as a part of the EU FP7 Marie Curie Actions
IRSES project CORCON.
Date: Thursday 22, May, 2014 15:30-17:00
Speaker: Dr. Marco Benini
Title: Point-free foundations of Mathematics
Abstract: Is it possible to work with logical theories without
assuming the existence of a universe where to interpret terms?
This talk will positively answer to the above question in the case of
first-order, intuitionistic-based theories by providing a class of
models, defined inside Category Theory, such that they allow to
interpret theories in a sound and complete way.
Furthermore, the models explain the computational meaning of the
corresponding theories via a semantic version of the Curry-Howard
isomorphism. And their peculiar aspect is that they provide no
universe where to interpret terms.