![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Pseudo-BCK algebras and PD-posets
The notion of pseudo-BCK algebras was introduced by Georgescu and Iorgulescu Proceedings of DMTCS′01: Combinatorics, Computability and Logic, Springer, London, pp 97–114, 2001. It is so general that fleas, pse...
-
Article
Generalized fuzzy filters of R 0-algebras
In this paper, we introduce the notions of interval valued \({(\in,\in\vee q)}\) -fuzzy filters and interval valued ...
-
Article
Open AccessComputational Intelligence in Knowledge Engineering
-
Article
Open AccessA Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantitative and Qualitative Information
In selecting an optional alternative in an environment of multiple attribute group decision making, different attributes of the alternative are often considered as with quantitative and qualitative information...
-
Chapter and Conference Paper
The Degree of the Quasi-similarity and the Pseudo-metric between Predicate Formulae
The theory of the quasi-truth degrees of predicate formulae is a preliminary test of quantitative predicate logic. Corresponding to quantitative propositional logic, we know that it’s just a beginning. In this...
-
Chapter and Conference Paper
On Fuzzy Prime Filters of Lattice H Implication Algebras
In this paper,firstly, we introduce the fuzzy annihilator A* of a fuzzy set A and its properties are obtained. Secondly, the fuzzy prime filter of lattice H implication algebras are studied by using the fuzzy ann...
-
Chapter and Conference Paper
Using OWA Operators to Integrate Group Attitudes towards Consensus
Nowadays decisions that affect organizations or big amounts of people are normally made by a group of experts, rather than a single decision maker. These decisions would require more than a majority rule to be...
-
Article
Fuzzy prime filters of lattice implication algebras
In this paper, some properties of fuzzy filters are given. Besides, the structure of fuzzy filters are further studied. And finally, the concept of fuzzy prime filter is proposed with some equivalent condition...
-
Chapter and Conference Paper
The Relationship of Filters in Lattice Implication Algebra
In this paper, we focus on the properties of filters in lattice implication algebra. We study the relationship of associative filter and implicative filter, n-fold associative filter and n-fold implicative fil...
-
Chapter and Conference Paper
Further Research of Generated Filters in Lattice Implication Algebra
In this paper we combining LHIA research the generated filters of lattice implication algebra. Firstly some new properties of lattice implication algebra are discussed. Then a structure of generated filter of ...
-
Chapter and Conference Paper
α-Quasi-Lock Semantic Resolution Method for Linguistic Truth-Valued Lattice-Valued Propositional Logic \(\mathcal{L}_{V(n\times2)}\) P(x)
On the basis of α-quasi-lock semantic resolution method in lattice-valued propositional logic ( \(\mathcal{L}_{n}\times\mathcal{L}_{2}\) ...
-
Chapter and Conference Paper
Duality in Lattice Implication Algebra
According to the general form of principle of duality in the sense of class [1], this paper tries to study the dual operators of operators in lattice implication algebra [2], especially the dual operator of im...
-
Chapter and Conference Paper
An ETL Strategy for Real-Time Data Warehouse
Real-time data warehouse as an extension of traditional data warehouse, it is effectively shortening the delay of information and providing timely and accurate decision support to decision makers. The ETL proc...
-
Article
On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic
The paper focuses on the efficient resolution-based automated reasoning theory, approach and algorithm for a lattice-ordered linguistic truth-valued logic. Firstly two hybrid resolution methods in linguistic t...
-
Article
General form of α-resolution principle for linguistic truth-valued lattice-valued logic
This paper is focused on resolution-based automated reasoning theory in linguistic truth-valued lattice-valued logic based on linguistic truth-valued lattice implication algebra. Concretely, the general form of α
-
Article
Open Accessα-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
This paper focuses on efficient non-clausal resolution-based automated reasoning methods and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to extensions of α-lock resolution...
-
Chapter
Miss You Forever, Da Ruan, Consulting Professor at Southwest Jiaotong University since 2000
An internationally highly recognized expert in computational intelligence and decision making and senior researcher of Belgian Nuclear Research Centre (SCK·CEN), Belgian-Chinese Professor Da Ruan died unexpect...
-
Chapter
Chairing the FLINS Conference Series (1994-2012)
Prof. Da Ruan took the initiative in the FLINS conferences and has been the chair from the first to the 7th, and the general chair from the 8th to the 10th FLINS conferences.
-
Chapter
Chairing the ISKE Conference Series (2006-2011)
To promote international cooperation of the research on intelligent systems and knowledge engineering, Prof Da Ruan, together with Profs Etienne E. Kerre (Belgium), Guoqing Chen (China), Yang Xu (China), Geert...
-
Article
Open AccessCombination of interval set and soft set
Soft set theory and interval set theory are all mathematical tools for dealing with uncertainties. This paper is devoted to the discussion of soft interval set and its application. The notion of soft interval ...