Mais um seminário do LoLITA (Group for Logic, Language, Information, Theory, and Applications) da UFRN.
* * * Title: Abstract valuation semantics Speaker: Carlos Caleiro SQIG & Dept. Mathematics, TU-Lisbon, PT http://sqig.math.ist.utl.pt/carlos.caleiro Place: Auditório do CCET / UFRN Date: Wed, 02-May-2011, 13:00-14:00 Abstract: We define and study abstract valuation semantics for logics. In the context of the behavioral approach to the algebraization of logics (which we briefly overview), we show, by means of meaningful bridge theorems and application examples, that this algebraically well-behaved version of valuation semantics is suited to play a role similar to the one traditionally played by logical matrices. Joint work with Ricardo Gonçalves. * * * A palestra será apresentada em português. http://tinyurl.com/3sxf99z _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
