General form of -resolution principle for linguistic truth-valued lattice-valued logic

DOI10.1007/S00500-012-0860-2zbMATH Open1344.68226OpenAlexW1984923536MaRDI QIDQ2392565FDOQ2392565

Xiaomei Zhong, Shuwei Chen, Yang Xu, Jun Liu

Publication date: 1 August 2013

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00500-012-0860-2

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)\)
• Multi-ary \(\alpha\)-semantic resolution automated reasoning based on 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 with generalized quantifier based on the first-order lattice-valued logic \(LF(X)\)

zbMATH Keywords

resolution-based automated reasoninglinguistic truth-valued lattice-valued logicgeneral form of \(\alpha\)-resolution principlelinguistic truth-valued lattice implication algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cites Work

• A Machine-Oriented Logic Based on the Resolution Principle
• Resolution-based theorem proving for many-valued logics
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Fuzzy Logic and the Resolution Principle
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• Linguistic values-based intelligent information processing: Theory, methods and applications.
• Inference in a multivalued logic system
• Title not available (Why is that?)
• Title not available (Why is that?)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Binary resolution over complete residuated Stone lattices
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Resolution principles in possibilistic logic
• Reductions for non-clausal theorem proving
• Fuzzy operator logic and fuzzy resolution
• Some properties of fuzzy logic
• A linguistic truth-valued reasoning approach in decision making with incomparable information
• Complexity of resolution proofs and function introduction
• Labelled resolution for classical and non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the L-function of quadratic forms.
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• \(J\)-resolution fields of generalized literals of \(L_{14}P (X)\)
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• The Resolution Method for 10-Element Linguistic Truth-Valued Propositional Logic
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1
• \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality
• A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic
• \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic

This page was built for publication: General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic

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