scientific article; zbMATH DE number 2067134

MaRDI QIDQ4464035zbMATH OpenFDO

Authors Wei Wang, Yang Xu, Keyun Qin

Publication date 27 May 2004

zbMATH Keywords

lattice implication algebralattice-valued logicnormal form

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10)

Cited in

(3)

• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• Multi-ary \(\alpha\)-semantic resolution automated reasoning based on lattice-valued first-order logic \(\mathrm{LF}(X)\)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4464035)