A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics
European Society for Fuzzy Logic and Technology
In this paper we study generic expansions of predicate logics of some left-continuous t-norms (mainly Gödel and Nilpotent Minimum predicate logics) with a countable set of truth-constants. Using known results on tnorm based predicate fuzzy logics we obtain results on the conservativeness and completeness for the expansions of some predicate fuzzy logics. We describe the problem for the cases of Lukasiewicz and Product predicate logics and prove that the expansions of Gödel and Nilpotent Minimumdblp:conf/eusflat/EstevaGN07 fatcat:blqqzjtuqrdlpmzfeipx544cam