A Complete Many-Valued Logic With Product-Conjunction (1996)
by
Petr Hájek
,
Lluis Godo
,
Francesc Esteva
| Citations: | 26 - 3 self |
BibTeX
@MISC{Hájek96acomplete,
author = {Petr Hájek and Lluis Godo and Francesc Esteva},
title = {A Complete Many-Valued Logic With Product-Conjunction},
year = {1996}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper we investigate some logics whose set of truth values is the real interval [0; 1] and we concentrate our attention to logics having a conjunction whose truth function t(x; y) is a t-norm, and having a corresponding residuated implication (or, as Pavelka [14] observes, the conjunction and the implication form an adjoint couple); i.e., if i(x; y) is the truth function of the implication then
