Graded many-valued resolution with aggregation.
From MaRDI portal
Publication:1428680
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
additive generatorstriangular normsaggregation operatorsmany-valued resolutionresidual complicatorstruth-functional fuzzy logic
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