Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
From MaRDI portal
Publication:545319
DOI10.1016/j.ins.2010.03.024zbMath1239.03007OpenAlexW2084272226MaRDI QIDQ545319
Jun Liu, Da Ruan, Yang Xu, Xiao-bing 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
automated reasoningmany-valued logiclattice-valued logiclattice implication algebra\(\alpha\)-resolution
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic ⋮ A logical reasoning based decision making method for handling qualitative knowledge ⋮ On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic ⋮ A unified algorithm for finding \(k\)-IESFs in linguistic truth-valued lattice-valued propositional logic ⋮ On the algebraic structure of binary lattice-valued fuzzy relations ⋮ Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra ⋮ A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making ⋮ Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF (X)1 ⋮ A linguistic multi-criteria decision making approach based on logical reasoning ⋮ Parameterized Uncertain Reasoning Approach Based on a Lattice-Valued Logic ⋮ On Fuzzy Logic I Many‐valued rules of inference ⋮ \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An annotated logic theorem prover for an extended possibilistic logic
- An algebraic approach to linguistic hedges in Zadeh's fuzzy logic
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- A framework for linguistic modelling
- 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
- Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
- First-order fuzzy logic
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- Completely non-clausal theorem proving
- The concept of a linguistic variable and its application to approximate reasoning. I
- A framework for automated reasoning in multiple-valued logics
- Resolution and model building in the infinite-valued calculus of Łukasiewicz
- Algebraic structures in fuzzy logic
- Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
- Graded many-valued resolution with aggregation.
- A new fuzzy resolution principle based on the antonym
- Labeled calculi and finite-valued logics
- Approximate reasoning by similarity-based SLD resolution.
- Algebraic foundations of many-valued reasoning
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- A complete many-valued logic with product-conjunction
- Multi-adjoint t-concept lattices
- 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
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Lattice implication ordered semigroups
- L-fuzzy sets
- The logic of inexact concepts
- Algebraic Analysis of Many Valued Logics
- Automated Reasoning in Kleene Algebra
- Inference in a multivalued logic system
- Systematization of finite many-valued logics through the method of tableaux
- Special relations in automated deduction
- On Different Concepts of Resolution
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- On the consistency of rule bases based on lattice-valued first-order logic LF(X)
- A Machine-Oriented Logic Based on the Resolution Principle
- The Specialization of Programs by Theorem Proving
- Fuzzy Logic and the Resolution Principle
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- \(\mho\)-resolution and hybrid knowledge bases
This page was built for publication: Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)