Paper Info
Title
On Completeness Results for the Expansions with Truth-constants of Some Predicate Fuzzy Logics
Abstract
In this paper we study generic expansions of predicate logics of some left-continuous t-norms (mainly Godel and Nilpotent Minimum predicate, logics) with a countable set of truth-constants. Using known results on t-norm based predicate fuzzy logics we obtain results on the conservativeness and completeness,3 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 Godel and Nilpotent Minimum predicate logics are canonical complete for tautologies, and Strong standard complete for deduction upon any set of premisses.
Year
Venue
Keywords
2007
NEW DIMENSIONS IN FUZZY LOGIC AND RELATED TECHNOLOGIES, VOL II, PROCEEDINGS
Monoidal T-norm based Logic MTL,Godel,Lukasiewicz,Product and Nilpotent Minimum propositional and predicate logics,t-norm-based logic,Rational Pavelka Logic,Godel,Product and Nilpotent Minimum logics with truth-constants,completeness results
Field
DocType
Citations 
T-norm fuzzy logics,Predicate variable,Tautology (logic),Łukasiewicz logic,Algebra,Fuzzy subalgebra,Monoidal t-norm logic,Predicate (grammar),Principle of bivalence,Mathematics
Conference
2
PageRank 
References 
Authors
0.39
15
3
Name
Order
Citations
PageRank
Francesc Esteva11885200.14
Lluis Godo21392173.03
Carles Noguera346233.93