Inference in a multivalued logic system

DOI10.1016/S0020-7373(85)80022-5zbMath0581.03015OpenAlexW2006522764MaRDI QIDQ3703870

Ronald R. Yager

Publication date: 1985

Published in: International Journal of Man-Machine Studies (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-7373(85)80022-5

zbMATH Keywords

approximate reasoning

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Many-valued logic (03B50)

Related Items (11)

Coimplication and its application to fuzzy expert systems ⋮ Fuzzy sets in approximate reasoning. II: Logical approaches ⋮ General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic ⋮ Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ On the use of Hamacher's t-norms family for information aggregation. ⋮ Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 ⋮ Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) ⋮ Fuzzy logic from the viewpoint of machine intelligence ⋮ \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\) ⋮ \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\) ⋮ Foundation of credibilistic logic

This page was built for publication: Inference in a multivalued logic system