scientific article; zbMATH DE number 1839652

zbMATH Open1011.03006MaRDI QIDQ4782945FDOQ4782945

Authors: Wei Wang, Yang Xu, Xue Fang Wang 

Publication date: 14 January 2003

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

Recommendations

• On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic
• \(\alpha\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \(LP(X)\)
• Multi-ary \(\alpha\)-semantic resolution automated reasoning based on lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

zbMATH Keywords

matrix representationclassical propositional logicautomated reasoningunsatisfiabilitylattice-valued propositional logicresolution pair

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Uncertainty reasoning based on the lattice-valued propositional logic LP\((X)\)
• \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality
• \(\alpha\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \(LP(X)\)
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic

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 Q4782945)