scientific article; zbMATH DE number 640717

zbMath0824.03009MaRDI QIDQ4306528

Keyun Qin, Yang Xu

Publication date: 19 September 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deduction theoremsoundnessadequacy problemlattice-valued propositional logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10)

Related Items

Filter-based resolution principle for lattice-valued propositional logic LP\((X)\) ⋮ On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic ⋮ A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic ⋮ 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)\) ⋮ 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}}\)