Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

18 March 2005, Colloquium on Mathematical Logic, Xavier Caicedo Ferrer

Speaker: Xavier Caicedo Ferrer
Title: The Logic of Extended Objects
Date: Friday 18 March 2005
Time: 16:00-17:00
Location: Room P.016, Euclides Building (P), Plantage Muidergracht 24, Amsterdam
(Tram 9 from Central Station, to Plantage Badlaan.)

Abstract:
An axiomatic expansion E(C) of a deductive logic having a reasonable notion of equivalence defines implicitly a new connective symbol C if E(C)+E(C') proves C and C' equivalent. For some logics like classical propositional calculus, C is necessarily equivalent to a combination of classical connectives, but other calculi, like Heyting calculus or Lukasiewicz logic, allow implicitly defined connectives which are not explicitly definable in this manner, providing new concepts to the logic. We discuss the general properties of axiomatic expansions of algebraizable logics by these connectives, specially in the case of Heyting calculus and intermediate calculi, and consider the problem of characterizing those logics for which all axiomatically defined implicit connectives are explicitly definable.

For more abstracts and more information, see http://www.math.uu.nl/people/jvoosten/seminar.html.

Please note that this newsitem has been archived, and may contain outdated information or links.