Sufficient triangular norms in many-valued logics with standard negation (Q2573723)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sufficient triangular norms in many-valued logics with standard negation |
scientific article |
Statements
Sufficient triangular norms in many-valued logics with standard negation (English)
0 references
24 November 2005
0 references
In this paper, a t-norm is a binary function \(T: [0, 1]^2\to [0, 1]\) that is commutative, associative, monotone and fulfils the boundary condition \(T(x, b)=x\), \(x\in [0, 1]\). Recall that t-norms provide a natural basis for the construction of semantics of various kinds of fuzzy logics. When bound to continuous t-norms, completed by standard negation \(N(x)=1-x\) and by extending operations to countable arity, we may derive all measurable logic functions. The question remains wheter there are other t-norms with this property, and also whether all strict t-norms have this property. The paper gives a full answer together with convenient sufficient conditions. Several counterexamples are also provided and consequences for the characterization of tribes based on strict t-norms are discussed.
0 references
fuzzy logic in narrow sense
0 references
triangular norm
0 references
standard negation
0 references
0 references