On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
type: Item
instance of: scholarly article
title: On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
zbMATH Open document ID: 1255.03026
author: Xingxing He
author: Yang Xu
author: Jun Liu
author: Shuwei Chen
published in: Soft Computing
publication date: 2013-01-25T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T37
zbMATH DE Number: 6130845
zbMATH Keywords: linguistic truth-valued lattice-valued logic
zbMATH Keywords: \(\alpha \)-lock resolution
zbMATH Keywords: compatibilities
zbMATH Keywords: generalized deleting strategy
zbMATH Keywords: \(\alpha \)-linear resolution
zbMATH Keywords: \(\alpha \)-linear semi-lock resolution
MaRDI profile type: Publication
full work available at URL: s00500-011-0779-z
OpenAlex ID: W1976475080
cites work: Resolution-based theorem proving for many-valued logics
cites work: Extracting the resolution algorithm from a completeness proof for the propositional calculus
cites work: Stratified resolution
cites work: Resolution decision procedures
cites work: Connection methods in linear logic and proof nets construction
cites work: On \(\alpha \)-satisfiability and its \(\alpha \)-lock resolution in a finite lattice-valued propositional logic
cites work: Linguistic truth-valued lattice-valued propositional logic system \(\ell P(X)\) based on linguistic truth-valued lattice implication algebra
cites work: Linear semi-look resolution
cites work: Filter-based resolution principle for lattice-valued propositional logic LP\((X)\)
cites work: A fuzzy-set approach to treat determinacy and consistency of linguistic terms in multi-criteria decision making
cites work: Q3543594
cites work: Resolution and model building in the infinite-valued calculus of Łukasiewicz
cites work: Q4306528
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Using resolution for deciding solvable classes and building finite models
cites work: Proof strategies in linear logic
cites work: Q4693586
cites work: Q4311753
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: On the consistency of rule bases based on lattice-valued first-order logic LF(X)
cites work: Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
cites work: Approximate reasoning based on linguistic truth value with \(\alpha\)-operator
cites work: The concept of a linguistic variable and its application to approximate reasoning. I
cites work: The concept of a linguistic variable and its application to approximate reasoning. II
cites work: The concept of a linguistic variable and its application to approximate reasoning. III
cites work: Computing with words in information/intelligent systems 1. Foundations
DOI: 10.1007/S00500-011-0779-Z
description: scientific article; zbMATH DE number 6130845