Abstract valuation semantics

Loading Map....

Date/Time
Date(s) - 4 May 2011 until 4 May 2011
1:00 PM - 2:00 PM

Location
DIMAp-UFRN

Category(ies)


 

Speaker: Carlos Caleiro
http://sqig.math.ist.utl.pt/carlos.caleiro

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

Leave a Reply