Abstract Valuation Semantics

C. Caleiro, R. Goncalves

Research output: Contribution to journalArticlepeer-review

2 Citations (Scopus)


We define and study abstract valuation semantics for logics, an algebraically well-behaved version of valuation semantics. Then, in the context of the behavioral approach to the algebraization of logics, 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.

Original languageEnglish
Pages (from-to)677-712
Number of pages36
JournalStudia Logica
Issue number4
Publication statusPublished - Aug 2013


  • Valuation semantics
  • Matrix semantics
  • Algebraization of logics


Dive into the research topics of 'Abstract Valuation Semantics'. Together they form a unique fingerprint.

Cite this