Search

Start Over Creator Hájek, Petr

7. Some hedges for continuous t-norm logics

Creator:
Hájek, Petr
Format:
bez média and svazek
Type:
model:article and TEXT
Subject:
fuzzy logic, hedges, and deductive systems
Language:
English
Description:
The basic fuzzy logic BL is extended by two unary connectives L, U (lower, upper) whose standard semantics is, given a continuous t-norm, the function assigning to each x € [0,1] the biggest idempotent < x (least idempotent > x). An axiom system is presented and shown complete with respect to the corresponding class of algebras. But the set of tautologies for a fixed continuous t-norm may have an arbitrarily high degree of insolvability.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public