Publication:4306528
From MaRDI portal
zbMath0824.03009MaRDI QIDQ4306528
Publication date: 19 September 1994
Related Items
\(\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)\), Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\), Filter-based resolution principle for lattice-valued propositional logic LP\((X)\), A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic, Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra, \(L\)-valued propositional logic \(L_{\text{vpl}}\), On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic, Fuzzy logic from the viewpoint of machine intelligence