Publication:4311753
From MaRDI portal
zbMath0807.03020MaRDI QIDQ4311753
Publication date: 20 November 1994
Related Items
\(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (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, General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic, Fuzzy logic from the viewpoint of machine intelligence, Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1