-resolution fields of generalized literals in lattice-valued propositional logic L_n 2P(X)

DOI10.3969/J.ISSN.1001-8395.2011.05.008MaRDI QIDQ2887678zbMATH OpenFDO

Authors Jiafeng Zhang, Yang Xu

Publication date 1 June 2012

Published in Journal of Sichuan Normal University. Natural Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3969/J.ISSN.1001-8395.2011.05.008

zbMATH Keywords

automated reasoninglattice implication algebralattice-valued logicresolution field

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Logic in artificial intelligence (68T27)

Recommendations

• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• The comparability of \(\alpha\)-generalized semantic resolution method based on lattice-valued first-order logic \(\mathrm{LF}(X)\)
• \(\alpha\)-resolution principle with generalized quantifier in the lattice-valued first-order logic \(L_{\text{vfl}}\). II
• On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic
• \(\alpha\)-resolution fields of generalized literals of the logic \(\text{LP}(X)\)

Cited in

(10)

• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• On -satisfiability and its -lock resolution in a finite lattice-valued propositional logic
• Comparisons among \(\alpha\)-generalized resolution methods in \(\mathcal L_{n\times 2}\)F(X)
• The comparability of \(\alpha\)-generalized semantic resolution method based on lattice-valued first-order logic \(\mathrm{LF}(X)\)
• \(\alpha\)-resolution fields of generalized literals of the logic \(\text{LP}(X)\)
• \(J\)-resolution fields of generalized literals of \(L_{14}P (X)\)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• (, )-ordered linear resolution of intuitionistic fuzzy propositional logic
• A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic

This page was built for publication: \(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\)

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