On compatibilities of -lock resolution method in linguistic truth-valued lattice-valued logic
From MaRDI portal
(Redirected from Publication:1933772)
On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
Recommendations
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
- 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)\)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- scientific article; zbMATH DE number 1839652
Cites work
- 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 205724 (Why is no real title available?)
- A Machine-Oriented Logic Based on the Resolution Principle
- A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making
- Approximate reasoning based on linguistic truth value with -operator
- Computing with words in information/intelligent systems 1. Foundations
- Connection methods in linear logic and proof nets construction
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- Extracting the resolution algorithm from a completeness proof for the propositional calculus
- Filter-based resolution principle for lattice-valued propositional logic LP(X)
- Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
- Linear semi-look resolution
- Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
- Linguistic values-based intelligent information processing: Theory, methods and applications.
- On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic
- On the consistency of rule bases based on lattice-valued first-order logic LF(X)
- Proof strategies in linear logic
- Resolution and model building in the infinite-valued calculus of Łukasiewicz
- Resolution decision procedures
- Resolution-based theorem proving for many-valued logics
- Stratified resolution
- The concept of a linguistic variable and its application to approximate reasoning. I
- The concept of a linguistic variable and its application to approximate reasoning. II
- The concept of a linguistic variable and its application to approximate reasoning. III
- Using resolution for deciding solvable classes and building finite models
- \(\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)\)
Cited in
(14)- 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
- Comparisons among \(\alpha\)-generalized resolution methods in \(\mathcal L_{n\times 2}\)F(X)
- 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 \)-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
- The resolution method for 10-element linguistic truth-valued propositional logic
- \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
- A resolution method for linguistic many-valued logic
- On the algebraic structure of binary lattice-valued fuzzy relations
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- \(\alpha\)-group quasi-lock semantic resolution method based on lattice-valued propositional logic \(LP(X)\)
- An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
This page was built for publication: On compatibilities of \(\alpha \)-lock resolution method in 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 Q1933772)
