Universidade do Minho  

           
 
  Autenticação/Login
 
Contactos
Mapa do Site
   
  imprimir
 
voltar 
Abstract Valuation Semantics

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.
 
voltar 
 
  © 2024 Universidade do Minho  - Termos Legais  - actualizado por CMAT Símbolo de Acessibilidade na Web D.