1. 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