\((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
type: Item
instance of: scholarly article
title: \((\alpha, \beta)\)-ordered linear resolution of intuitionistic fuzzy propositional logic
zbMATH Open document ID: 1435.03049
author: L. Zou
author: Chang Pan
author: Xin Liu
author: Xiaonan Li
published in: Information Sciences
publication date: 2020-07-02T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7216889
zbMATH Keywords: intuitionistic fuzzy propositional logic
zbMATH Keywords: \((\alpha, \beta)\)-ordered linear resolution
zbMATH Keywords: completeness theorem
MaRDI profile type: Publication
full work available at URL: j.ins.2017.05.046
OpenAlex ID: W2622281683
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Q5679729
cites work: Game theoretical semantics for some non-classical logics
cites work: Fuzzy operator logic and fuzzy resolution
cites work: Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution
cites work: \(\alpha\)-resolution principle based on lattice-valued propositional logic \(\text{LP} (X)\)
cites work: \(\alpha\)-resolution principle based on first-order lattice-valued logic \(\text{LF}(X)\)
cites work: Lattice-valued logic. An alternative approach to treat fuzziness and incomparability
cites work: Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
cites work: General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic
cites work: Q4583766
cites work: On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
cites work: Invariant-free clausal temporal resolution
cites work: The higher-order prover \textsc{Leo}-II
cites work: Intuitionistic fuzzy sets
cites work: Intuitionistic fuzzy sets. Theory and applications
cites work: On intuitionistic fuzzy sets theory
cites work: IVIF-PROMETHEE outranking methods for multiple criteria decision analysis based on interval-valued intuitionistic fuzzy sets
cites work: Atanassov's intuitionistic fuzzy quasi-Choquet geometric operators and their applications to multicriteria decision making
cites work: Three-way decisions with intuitionistic fuzzy decision-theoretic rough sets based on point operators
cites work: Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets
cites work: Linguistic truth-valued intuitionistic fuzzy reasoning with applications in human factors engineering
DOI: 10.1016/J.INS.2017.05.046
description: scientific article; zbMATH DE number 7216889