A triangular-norm-based propositional fuzzy logic
type: Item
instance of: scholarly article
title: A triangular-norm-based propositional fuzzy logic
zbMATH Open document ID: 1030.03022
DOI: 10.1016/S0165-0114(02)00143-4
author: Bao-Shu Wang
author: Sanmin Wang
author: Guojun Wang
published in: Fuzzy Sets and Systems
publication date: 2003-05-27T00:00:00Z
review text: The paper presents a formal system of fuzzy logic which based on the nilpotent minimum t-norm \(R_0\) (left-continuous non-continuous t-norm). This logic is a special case of the MTL-fuzzy logic (monoidal t-norm-based). The underlying algebra of truth values is called \(R_0\)-algebra and is based on the residuation and negation with respect to the \(R_0\) t-norm. The paper contains a detailed presentation of the system and a full proof of the strong completeness theorem. The last part presents the schematic extension of this system when confining to finite \(R_0\)-algebra of truth values. Again, strong completeness is proved.
reviewed by: Vilém Novák
Mathematics Subject Classification ID: 03B52
zbMATH DE Number: 1917788
zbMATH Keywords: fuzzy logic
zbMATH Keywords: completeness
zbMATH Keywords: triangular norm
Wikidata QID: Q59306592
MaRDI profile type: Publication
cites work: Contrapositive symmetry of fuzzy implications
cites work: Metamathematics of fuzzy logic
cites work: Q4160890
cites work: A survey on different triangular norm-based fuzzy logics
cites work: Q4133792
cites work: The use of fuzzy outranking relations in preference modelling
cites work: Fragments of Many-Valued Statement Calculi
cites work: Mathematics behind fuzzy logic
cites work: A formal deductive system for fuzzy propositional calculus
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
full work available at URL: s0165-0114(02)00143-4
OpenAlex ID: W2031659660
DBLP publication ID: journals/fss/WangWW03
description: scientific article; zbMATH DE number 1917788