Graded many-valued resolution with aggregation.

DOI10.1016/j.fss.2003.06.010zbMath1054.03021OpenAlexW2004627245MaRDI QIDQ1428680

Dana Smutná-Hliněná, Peter Vojtáš

Publication date: 29 March 2004

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2003.06.010

zbMATH Keywords

additive generatorstriangular normsaggregation operatorsmany-valued resolutionresidual complicatorstruth-functional fuzzy logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items

Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ A visibility graph averaging aggregation operator

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On fuzzy implication operators
• Resolution and model building in the infinite-valued calculus of Łukasiewicz
• A survey on different triangular norm-based fuzzy logics
• Metamathematics of fuzzy logic
• Triangular norms
• Contrapositive symmetry of fuzzy implications
• On triangular norm-based propositional fuzzy logics
• Fuzzy sets in approximate reasoning. II: Logical approaches
• Fuzzy Logic and the Resolution Principle