\((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
From MaRDI portal
Publication:778417
DOI10.1016/J.INS.2017.05.046zbMath1435.03049OpenAlexW2622281683MaRDI QIDQ778417
Chang Pan, Li Zou, Xin Liu, Xiao-Nan Li
Publication date: 2 July 2020
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2017.05.046
completeness theorem\((\alpha, \beta)\)-ordered linear resolutionintuitionistic fuzzy propositional logic
Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (3)
\( \alpha \)-paramodulation method for a lattice-valued logic \(L_nF(X)\) with equality ⋮ A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making ⋮ Uncertain multi-attribute group decision making based on linguistic-valued intuitionistic fuzzy preference relations
Cites Work
- Unnamed Item
- Unnamed Item
- The higher-order prover \textsc{Leo}-II
- Invariant-free clausal temporal resolution
- On intuitionistic fuzzy sets theory
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
- Intuitionistic fuzzy sets
- Fuzzy operator logic and fuzzy resolution
- Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
- Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution
- Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering
- Atanassov's intuitionistic fuzzy quasi-Choquet geometric operators and their applications to multicriteria decision making
- IVIF-PROMETHEE outranking methods for multiple criteria decision analysis based on interval-valued intuitionistic fuzzy sets
- Intuitionistic fuzzy sets. Theory and applications
- On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
- Three-way decisions with intuitionistic fuzzy decision-theoretic rough sets based on point operators
- General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
- Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets
- Game theoretical semantics for some non-classical logics
- A Machine-Oriented Logic Based on 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)\)
This page was built for publication: \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
