Paper Info
Title
Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies
Abstract
This paper is a contribution to Mathematical fuzzy logic, in particular to the algebraic study of t-norm based fuzzy logics. In the general framework of propositional core and Δ-core fuzzy logics we consider three properties of completeness with respect to any semantics of linearly ordered algebras. Useful algebraic characterizations of these completeness properties are obtained and their relations are studied. Moreover, we concentrate on five kinds of distinguished semantics for these logics–namely the class of algebras defined over the real unit interval, the rational unit interval, the hyperreals (all ultrapowers of the real unit interval), the strict hyperreals (only ultrapowers giving a proper extension of the real unit interval) and finite chains, respectively–and we survey the known completeness methods and results for prominent logics. We also obtain new interesting relations between the real, rational and (strict) hyperreal semantics, and good characterizations for the completeness with respect to the semantics of finite chains. Finally, all completeness properties and distinguished semantics are also considered for the first-order versions of the logics where a number of new results are proved.
Year
DOI
Venue
2009
10.1016/j.apal.2009.01.012
Annals of Pure and Applied Logic
Keywords
Field
DocType
03B47,03B50,03B52,03G25
Discrete mathematics,T-norm fuzzy logics,Combinatorics,Algebra,Algebraic logic,Unit interval,Classical logic,Monoidal t-norm logic,Fuzzy number,Mathematics,Completeness (order theory),Algebraic semantics
Journal
Volume
Issue
ISSN
160
1
0168-0072
Citations 
PageRank 
References 
65
2.47
35
Authors
6
Name
Order
Citations
PageRank
Petr Cintula160150.37
Francesc Esteva21885200.14
Joan Gispert326017.82
Lluís Godo488856.28
Franco Montagna5103796.20
Carles Noguera646233.93