An S4F-related monotonic modal logic
Por Ezgi Su (Universidade de Lisboa, CMAF-CIO).
Por Ezgi Su (Universidade de Lisboa, CMAF-CIO).
Por Marco Dozzi (Inst. Elie Cartan, Univ. de Lorraine, Nancy).
Por Filipe Oliveira (Centro de Matemática e Aplicações, FCT - Universidade Nova de Lisboa).
Seminário financiado por Fundos Nacionais através da FCT - Fundação para a Ciência e a Tecnologia, no âmbito do projeto UID/MAT/04561/2013.
Por Stefanella Boatto (INRIA-CentraleSupelec & Universidade Federal de Rio de Janeiro).
Por Javier Alcaide (Mestrado em Matemática da FCUL).
Conheça os órgãos, as pessoas, o ensino, as unidades de investigação, as atividades de extensão e as publicações do Departamento de Matemática.
Tron Anders Moger
Department of Health Management and Health Economics, University of Oslo, Norway
Marco Caroccia
CNA, Carnegie Melon University, Pittsburgh, USA
Björn Gohla
GFM, Universidade de Lisboa
Abstract: Lattice models arise in physics as discrete approximations of quantum field theories (QFT). Topological quantum field theories (TQFT) on the other hand by definition are QFTs, that can be defined on smooth or topological space-times, as opposed to the usual pseudo-Riemannian space-times required by QFTs. Interesting TQFTs can be defined as lattice models, giving exactly solvable models in 2 dimensions for example.
Mário Edmundo
CMAF-CIO, Universidade de Lisboa
Abstract: In this seminar we present (some of) the recent the work of Tobias Kaiser (Univ. Passau) establishing, for the categories of semi-algebraic functions, globally sub-analytic functions and more generally constructible functions on non archimedean real closed fields with archimedean value group, a full Lebesgue like integration theory.