Determination of -resolution in lattice-valued first-order logic LF(X)
From MaRDI portal
Publication:545319
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 -lock resolution method in linguistic truth-valued lattice-valued logic
Cites work
- scientific article; zbMATH DE number 3941499 (Why is no real title available?)
- scientific article; zbMATH DE number 41101 (Why is no real title available?)
- scientific article; zbMATH DE number 41806 (Why is no real title available?)
- scientific article; zbMATH DE number 63610 (Why is no real title available?)
- scientific article; zbMATH DE number 3547260 (Why is no real title available?)
- scientific article; zbMATH DE number 559756 (Why is no real title available?)
- scientific article; zbMATH DE number 640717 (Why is no real title available?)
- scientific article; zbMATH DE number 679715 (Why is no real title available?)
- scientific article; zbMATH DE number 1163518 (Why is no real title available?)
- scientific article; zbMATH DE number 1775515 (Why is no real title available?)
- scientific article; zbMATH DE number 1775532 (Why is no real title available?)
- scientific article; zbMATH DE number 1790409 (Why is no real title available?)
- scientific article; zbMATH DE number 201040 (Why is no real title available?)
- scientific article; zbMATH DE number 205724 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 886137 (Why is no real title available?)
- scientific article; zbMATH DE number 1420874 (Why is no real title available?)
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A complete many-valued logic with product-conjunction
- A framework for automated reasoning in multiple-valued logics
- A framework for linguistic modelling
- A new fuzzy resolution principle based on the antonym
- A treatise on many-valued logics
- Algebraic Analysis of Many Valued Logics
- Algebraic foundations of many-valued reasoning
- Algebraic structures in fuzzy logic
- An algebraic approach to linguistic hedges in Zadeh's fuzzy logic
- An annotated logic theorem prover for an extended possibilistic logic
- Approximate reasoning by similarity-based SLD resolution.
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- Automated Reasoning in Kleene Algebra
- Automated deduction for many-valued logics
- Automated reasoning in some local exensions of ordered structures
- Automated theorem proving by resolution in non-classical logics
- Binary resolution over Boolean lattices
- Binary resolution over complete residuated Stone lattices
- Completely non-clausal theorem proving
- Determinization of fuzzy automata with membership values in complete residuated lattices
- Eine dreiwertige Logik zur Verarbeitung partieller Information. (A three- valued logic for partial information processing)
- Extracting complex linguistic data summaries from personnel database via simple linguistic aggregations
- Filter-based resolution principle for lattice-valued propositional logic LP(X)
- First-order fuzzy logic
- Fuzzy Logic and the Resolution Principle
- Graded many-valued resolution with aggregation.
- Hedge algebras: an algebraic approach to structure of sets of linguistic truth values
- Inference in a multivalued logic system
- L-fuzzy sets
- Labeled calculi and finite-valued logics
- Lattice implication ordered semigroups
- Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
- Linguistic values-based intelligent information processing: Theory, methods and applications.
- Multi-adjoint t-concept lattices
- ON SEMANTICS OF L-VALUED FIRST-ORDER LOGIC Lvft
- On Different Concepts of Resolution
- On Fuzzy Logic III. Semantical completeness of some many‐valued propositional calculi
- On the consistency of rule bases based on lattice-valued first-order logic LF(X)
- Representing lattices using many-valued relations
- Resolution and model building in the infinite-valued calculus of Łukasiewicz
- Resolution principles in possibilistic logic
- Special relations in automated deduction
- Systematization of finite many-valued logics through the method of tableaux
- The Specialization of Programs by Theorem Proving
- The concept of a linguistic variable and its application to approximate reasoning. I
- The logic of inexact concepts
- \(L\)-valued propositional logic \(L_{\text{vpl}}\)
- \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
- \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
- \(\mho\)-resolution and hybrid knowledge bases
Cited in
(27)- \(J\)-resolution fields of generalized literals of \(L_{14}P (X)\)
- \(\alpha\)-resolution fields of generalized literals in lattice-valued propositional logic \(L_{n\times 2}P(X)\)
- On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
- A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making
- Parameterized uncertain reasoning approach based on a lattice-valued logic
- scientific article; zbMATH DE number 1839652 (Why is no real title available?)
- \(\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)\)
- Comparisons among \(\alpha\)-generalized resolution methods in \(\mathcal L_{n\times 2}\)F(X)
- Graded many-valued resolution with aggregation.
- A logical reasoning based decision making method for handling qualitative knowledge
- \(\alpha\)-resolution principle with generalized quantifier in the lattice-valued first-order logic \(L_{\text{vfl}}\). II
- Multi-ary \(\alpha\)-semantic resolution automated reasoning based on 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 fields of generalized literals of the logic \(\text{LP}(X)\)
- \( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality
- \(\alpha\)-resolution principle with generalized quantifier based on the first-order lattice-valued logic \(LF(X)\)
- 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
- Ideal resolution principle for lattice-valued first-order logic based on lattice implication algebra
- On the algebraic structure of binary lattice-valued fuzzy relations
- A linguistic multi-criteria decision making approach based on logical reasoning
- On Fuzzy Logic I Many‐valued rules of inference
- On compatibilities of -lock resolution method in linguistic truth-valued lattice-valued logic
- \(\alpha\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \(LP(X)\)
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)
