scientific article; zbMATH DE number 2067134

zbMATH Open1051.03024MaRDI QIDQ4464035FDOQ4464035

Authors: Wei Wang, Yang Xu, Keyun Qin 

Publication date: 27 May 2004

Title of this publication is not available (Why is that?)

zbMATH Keywords

normal formlattice implication algebralattice-valued logic

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
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Multi-ary \(\alpha\)-semantic resolution automated reasoning based on lattice-valued first-order logic \(\mathrm{LF}(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)