Abstract Valuation Semantics |
| |
| Authors: | Carlos Caleiro Ricardo Gonçalves |
| |
| Affiliation: | 1. SQIG, Instituto de Telecomunica??es, Departamento de Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisboa, Portugal
2. CENTRIA, FCT, Universidade Nova de Lisboa, Lisboa, Portugal
|
| |
| Abstract: | 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. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
