Determination of -resolution in lattice-valued first-order logic LF(X)

DOI10.1016/J.INS.2010.03.024zbMATH Open1239.03007OpenAlexW2084272226MaRDI QIDQ545319FDOQ545319

Authors: Jun Liu, Da Ruan, Yang Xu, X. B. Li 

Publication date: 22 June 2011

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2010.03.024

Recommendations

• \(\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)\)
• On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic
• Multi-ary \(\alpha\)-semantic resolution automated reasoning based on lattice-valued first-order logic \(\mathrm{LF}(X)\)
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic

zbMATH Keywords

many-valued logicautomated reasoninglattice implication algebralattice-valued logic\(\alpha\)-resolution

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35)

Cites Work

• The concept of a linguistic variable and its application to approximate reasoning. I
• Labeled calculi and finite-valued logics
• Algebraic foundations of many-valued reasoning
• The logic of inexact concepts
• A treatise on many-valued logics
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• L-fuzzy sets
• Determinization of fuzzy automata with membership values in complete residuated lattices
• On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
• Title not available (Why is that?)
• A Machine-Oriented Logic Based on the Resolution Principle
• Are fuzzy sets a reasonable tool for modeling vague phenomena?
• Title not available (Why is that?)
• The Specialization of Programs by Theorem Proving
• Automated Reasoning in Kleene Algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic structures in fuzzy logic
• Resolution and model building in the infinite-valued calculus of Łukasiewicz
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automated deduction for many-valued logics
• A framework for linguistic modelling
• Multi-adjoint t-concept lattices
• Automated reasoning in some local exensions of ordered structures
• Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
• A complete many-valued logic with product-conjunction
• An algebraic approach to linguistic hedges in Zadeh's fuzzy logic
• Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
• First-order fuzzy logic
• Approximate reasoning by similarity-based SLD resolution.
• Fuzzy Logic and the Resolution Principle
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
• Completely non-clausal theorem proving
• A framework for automated reasoning in multiple-valued logics
• Graded many-valued resolution with aggregation.
• A new fuzzy resolution principle based on the antonym
• \(L\)-valued propositional logic \(L_{\text{vpl}}\)
• Automated theorem proving by resolution in non-classical logics
• Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations
• Representing lattices using many-valued relations
• Lattice implication ordered semigroups
• Linguistic values-based intelligent information processing: Theory, methods and applications.
• Inference in a multivalued logic system
• Title not available (Why is that?)
• Systematization of finite many-valued logics through the method of tableaux
• Special relations in automated deduction
• On Different Concepts of Resolution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC L_vft
• On the consistency of rule bases based on lattice-valued first-order logic LF(X)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• \(\mho\)-resolution and hybrid knowledge bases
• An annotated logic theorem prover for an extended possibilistic logic
• Binary resolution over complete residuated Stone lattices
• Binary resolution over Boolean lattices
• Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
• Resolution principles in possibilistic logic

Cited In (21)

• \(J\)-resolution fields of generalized literals of \(L_{14}P (X)\)
• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
• Title not available (Why is that?)
• A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making
• \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
• On the consistency of rule bases based on lattice-valued first-order logic LF(X)
• \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
• Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1
• A logical reasoning based decision making method for handling qualitative knowledge
• Graded many-valued resolution with aggregation.
• Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic
• \(\alpha\)-resolution principle with generalized quantifier in the lattice-valued first-order logic \(L_{\text{vfl}}\). II
• \(\alpha\)-resolution fields of generalized literals of the logic \(\text{LP}(X)\)
• \( \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
• Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
• \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
• On the algebraic structure of binary lattice-valued fuzzy relations
• On Fuzzy Logic I Many‐valued rules of inference
• A linguistic multi-criteria decision making approach based on logical reasoning
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic

Uses Software

• CAMA

This page was built for publication: Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)

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