Resumo: We define and study abstract valuation semantics for logics,
an algebraically well-behaved version of valuation semantics. 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 abstract valuations are suited
to play a role similar to the one played by logical matrices in the
traditional approach to algebraization. Joint work with Ricardo
Gonçalves.
|