Abstract Valuation Semantics

被引：0

作者：

Carlos Caleiro

Ricardo Gonçalves

机构：

[1] Universidade Técnica de Lisboa,SQIG, Instituto de Telecomunicações, Departamento de Matemática, Instituto Superior Técnico

[2] Universidade Nova de Lisboa,CENTRIA, FCT

来源：

Studia Logica | 2013年 / 101卷

关键词：

Valuation semantics; Matrix semantics; Algebraization of logics;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

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.

引用

页码：677 / 712

页数：35

共 23 条

[1]

Bidoit M.(1996)Behavioural theories and the proof of behavioural properties Theoretical Computer Science 165 3-55

[2]

Hennicker R.(1975)Some theorems on structural consequence operations Studia Logica 34 1-9

[3]

Bloom S. L.(2011)Towards a behavioral algebraic theory of logical valuations Fundamenta Informaticae 106 191-209

[4]

Caleiro C.(2009)Behavioral algebraization of logics Studia Logica 91 63-111

[5]

Gonçalves R.(1994)Théorie de la valuation Logique et Analyse 37 95-117

[6]

Caleiro C.(2011)On quasi-varieties of multiple valued logic models Mathematical Logic Quarterly 57 194-203

[7]

Gonçalves R.(2009)Taking degrees of truth seriously Studia Logica 91 383-406

[8]

Martins M.(2000)A hidden agenda Theoretical Computer Science 245 55-101

[9]

da Costa N.(1997)Characterizing equivalential and algebraizable logics by the Leibniz operator Studia Logica 58 305-323

[10]

Béziau J.-Y.(1989)Béziau’s translation paradox Theoria 71 138-181

← 1 2 3 →