Abstract Valuation Semantics

Authors:
Carlos Caleiro;Ricardo Gonçalves
Affiliations:
SQIG, Instituto de Telecomunicações, Departamento de Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Lisboa, Portugal;CENTRIA, FCT, Universidade Nova de Lisboa, Lisboa, Portugal
Venue:
Studia Logica
Year:
2013

Citing 8
Cited 0

Structuring theories on consequence

Lecture notes in Computer Science on Recent trends in data type specification
Behavioural theories and the proof of behavioural properties

ALP Proceedings of the fourth international conference on Algebraic and logic programming
A hidden agenda

Theoretical Computer Science
Behavioral abstraction is hiding information

Theoretical Computer Science - Selected papers of CMCS'03
Closure properties for the class of behavioral models

Theoretical Computer Science
Behavioural reasoning for conditional equations

Mathematical Structures in Computer Science
Algebraic Valuations as Behavioral Logical Matrices

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Towards a Behavioral Algebraic Theory of Logical Valuations

Fundamenta Informaticae - Logic, Language, Information and Computation

Quantified Score

Hi-index	0.00

Visualization

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.