On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic

DOI10.1093/JIGPAL/JZR007MaRDI QIDQ2905643zbMATHOpenAlexFDO

Authors Xingxing He, Jun Liu, Yang Xu, Luis Martínez, Da Ruan

Publication date 28 August 2012

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzr007

zbMATH Keywords

lattice-valued logic\(\alpha \)-lock resolution method\(\alpha \)-resolution principle\(\alpha \)-satisfiabilityfinite lattice-valued propositional logic

Mathematics Subject Classification ID

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

Recommendations

• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• \(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• \(\alpha\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \(LP(X)\)

Cited in

(10)

• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(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)\)
• A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic
• \(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
• scientific article; zbMATH DE number 1839652 (Why is no real title available?)
• Comparisons among \(\alpha\)-generalized resolution methods in \(\mathcal L_{n\times 2}\)F(X)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)

This page was built for publication: On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic

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