Difference between revisions of "On the scope of some formulas defining additive connectives in fuzzy logics"

From Mathfuzzlog
Jump to: navigation, search
(New page: {{Paper|author=Angel García-Cerdana|author2=Carles Noguera|author3=Francesc Esteva|title=On the scope of some formulas defining additive connectives in fuzzy logics|journal=Fuzzy Sets and...)
 
Line 1: Line 1:
{{Paper|author=Angel García-Cerdana|author2=Carles Noguera|author3=Francesc Esteva|title=On the scope of some formulas defining additive connectives in fuzzy logics|journal=Fuzzy Sets and Systems|volume=154|number=|pages=56-75|year=2005}}
+
{{Paper|
 +
author=Angel García-Cerdana|
 +
author2=Carles Noguera|
 +
author3=Francesc Esteva|
 +
title=On the scope of some formulas defining additive connectives in fuzzy logics|
 +
journal=Fuzzy Sets and Systems|
 +
volume=154|
 +
number=1|
 +
pages=56-75|
 +
year=2005}}
 +
 
 +
== Abstract ==
 +
 
 +
In (Fuzzy Sets and Systems 149(2005) 297) Wang et al. defined a new fuzzy logic called NMG. They also introduced new formulas to define the additive connectives from multiplicative conjunction, residuated implication and bottom in NMG. However, they did not study the scope of these formulas in the general framework of fuzzy logics. This is the aim of this paper. Therefore, we add the definability formulas to known fuzzy logics as new axioms, following the method used in (Beyond Two: Theory and Applications of Multiple-Valued Logic, 2003, 251.), and we obtain some families of logics presented in a simpler language. Finally, we discuss the standard completeness of these new logics.

Revision as of 13:43, 9 December 2007

Authors:
Angel García-Cerdana
Carles Noguera
Francesc Esteva
Title: On the scope of some formulas defining additive connectives in fuzzy logics
Journal: Fuzzy Sets and Systems
Volume 154
Number 1
Pages: 56-75
Year: 2005




Abstract

In (Fuzzy Sets and Systems 149(2005) 297) Wang et al. defined a new fuzzy logic called NMG. They also introduced new formulas to define the additive connectives from multiplicative conjunction, residuated implication and bottom in NMG. However, they did not study the scope of these formulas in the general framework of fuzzy logics. This is the aim of this paper. Therefore, we add the definability formulas to known fuzzy logics as new axioms, following the method used in (Beyond Two: Theory and Applications of Multiple-Valued Logic, 2003, 251.), and we obtain some families of logics presented in a simpler language. Finally, we discuss the standard completeness of these new logics.