| Preface |
|
v | |
| Organizing Committees |
|
vii | |
|
|
|
1 | (34) |
|
Weighted Automata and Quantitative Logics |
|
|
3 | (4) |
|
|
|
On the Role of e-Groups and Po-Groups for Algebraic and Quantum Structures |
|
|
7 | (4) |
|
|
|
Personalised Recommender Systems for E-Business Intelligence with Soft Computing |
|
|
11 | (7) |
|
|
|
Types of Bipolarity and Bipolar Structures |
|
|
18 | (8) |
|
|
|
|
|
|
|
|
|
Granular Logic Systems and Their Development in the Setting of Granular Fuzzy Relational Equations |
|
|
26 | (3) |
|
|
|
An Axiomatic Method for Evaluating Goodness of Closed Predicate Propositions Containing No Function Letters |
|
|
29 | (4) |
|
|
|
Intelligent Learning Systems for Soft Information |
|
|
33 | (2) |
|
|
|
Part B Quantitative Logic |
|
|
35 | (170) |
|
Semantic Resolution Principle in Propositional Valuation Algebra |
|
|
37 | (8) |
|
|
|
|
|
Logical Properties of the System L*n and Their Applications |
|
|
45 | (8) |
|
|
|
|
|
Continuity of Fuzzy Peasoning in Several Metrics |
|
|
53 | (7) |
|
|
|
|
|
|
|
Falsity Accumulation Theory in Multi-Valued Godel Logic System |
|
|
60 | (6) |
|
|
|
The Affine Transformation in Quantitative Logic |
|
|
66 | (8) |
|
|
|
|
|
Accuracy and Roughness Measures for Formulae in Rough Logic |
|
|
74 | (8) |
|
|
|
|
|
Many-Valued Modal Logic Metric Spaces Based on Frames |
|
|
82 | (7) |
|
|
|
|
|
Riecan and Bosbach States on Glivenko Residuated Lattices |
|
|
89 | (8) |
|
|
|
Matching Function-based Fully Implicational Methods for Fuzzy Reasoning |
|
|
97 | (10) |
|
|
|
|
|
Fuzzy Preunivex Functions |
|
|
107 | (8) |
|
|
|
|
|
|
|
Sunstructiral Fuzzy Logics with N-Contraction |
|
|
115 | (6) |
|
|
|
The Semantics Theory for Multi-Valued Reasoning about Knowledge |
|
|
121 | (7) |
|
|
|
|
|
The Probability-Truth Degree of Uncertain Propositional Formula |
|
|
128 | (8) |
|
|
|
|
|
The Approximate Reduction in Many-Valued Propositional Logic System L*n |
|
|
136 | (8) |
|
|
|
Cirquent Calculus System CL8S Versus Calculus of Structures Systems SKSG for Propositional Logic |
|
|
144 | (6) |
|
|
|
|
|
Truth Degree of Formulas and State Theory |
|
|
150 | (8) |
|
|
|
|
|
|
|
Theory of Γ-Fuzzy Truth Degree Relative to Finite Theory in Logic System Rn |
|
|
158 | (7) |
|
|
|
|
|
Truth Degree and Nearness on Fuzzy Sets Based on Lukasiewicz Implication |
|
|
165 | (6) |
|
|
|
|
|
The Classical Symmetrical Logic Metric Sub-Space |
|
|
171 | (8) |
|
|
|
|
|
179 | (10) |
|
|
|
|
|
|
|
Universal Triple I Method and Its Application to Textual Emotion Polarity Recognition |
|
|
189 | (8) |
|
|
|
|
|
|
|
A Quantitative Relation Model Between Trustworthy Attributes |
|
|
197 | (8) |
|
|
|
|
|
Part C Soft Computing and Automata Theory |
|
|
205 | (228) |
|
Bisimilarity for Fuzzy Doubly Labeled Transition Systems |
|
|
207 | (8) |
|
|
|
|
|
|
|
Fuzzy Random Expected Value Model Based Multi-Objective Optimization Routing for Wireless Sensor Networks |
|
|
215 | (8) |
|
|
|
|
|
The Partial Correctness Semantics of Imperative Fuzzy Programming Language |
|
|
223 | (8) |
|
|
|
|
|
Two Variant Owa Operators Based on T-Norms |
|
|
231 | (8) |
|
|
|
|
|
|
|
On the Average Distance and Wiener Index of Cartesian Product Networks |
|
|
239 | (7) |
|
|
|
|
|
|
|
An Ideal Multi-Secret Sharing Scheme Based on MSP |
|
|
246 | (6) |
|
|
|
|
|
|
|
Iufinite Evolution Mechanism of e--Bisimilarity |
|
|
252 | (8) |
|
|
|
|
|
|
|
CMPR: Cost-Aware Multipath Routing Algorithm for Mobile Wireless Sensor Networks |
|
|
260 | (8) |
|
|
|
|
|
|
|
Discrimination of Quantum States by Local Operation and Classical Commutation |
|
|
268 | (5) |
|
|
|
|
|
Solution Sets of Fuzzy Relation Equations in Complete Brouwerian Lattices |
|
|
273 | (6) |
|
|
|
|
|
|
|
Fuzzy Hybrid MKNF Knowledge Bases for the Semantic Web |
|
|
279 | (8) |
|
|
|
|
|
Model-Checking of Linear-Time Properties in Possibilistic Kripke Structure |
|
|
287 | (8) |
|
|
|
|
|
Possibilistic Kripke Structure Decision Processes |
|
|
295 | (8) |
|
|
|
|
|
|
|
The Representation of Semiring-Based Constraint Satisfaction Problems Using Fuzzy Finite Automata |
|
|
303 | (12) |
|
|
|
On Reversible Fuzzy Automata |
|
|
315 | (8) |
|
|
|
|
|
The Representation of the Universal Fuzzy Automaton |
|
|
323 | (8) |
|
|
|
|
|
Dynamical Analysis of BAM Neural Networks With Continuously Distributed Delays |
|
|
331 | (8) |
|
|
|
|
|
Intuitionistic Fuzzy Push-Down Automata |
|
|
339 | (7) |
|
|
|
Existence Results for Impulsive BAM Networks on Time Scales |
|
|
346 | (8) |
|
|
|
|
|
Properties of the Reversal of Weighted Finite Automata Over Strong Bimonoids Based on Different Semantics |
|
|
354 | (8) |
|
|
|
|
|
An Improved Bacteria Foraging Optimization Algorithm Based on Intuitionistic Fuzzy Set for Clustering PPI Networks |
|
|
362 | (8) |
|
|
|
|
|
|
|
Formal Verification of a Solution for Green Computing |
|
|
370 | (8) |
|
|
|
State Succinctness of Two-Way Finite Automata with Quantum and Classical States |
|
|
378 | (8) |
|
|
|
|
|
|
|
A Robust Partially Supervised Clustering Algorithms with Dot Density Weights of Labeled Data for Image Segmentation |
|
|
386 | (8) |
|
|
|
|
|
|
|
|
|
An Adaptive Fuzzy Rule-Based Color Image Segmentation Algorithm |
|
|
394 | (8) |
|
|
|
|
|
|
|
|
|
Point Density Weighted K-Means Algorithm for Remote Sensing Image Classifying |
|
|
402 | (8) |
|
|
|
|
|
|
|
|
|
Concatenation and Kleene Star on Deterministic Finite Automata |
|
|
410 | (10) |
|
|
|
|
|
|
|
|
|
A Generalized Non-Pumping Lemma for Regular Languages |
|
|
420 | (8) |
|
|
|
|
|
Semiautomata and Near Rings |
|
|
428 | (5) |
|
|
|
|
|
|
|
Part D Fuzzy Sets and Order Structures |
|
|
433 | (270) |
|
An Approach to M-Scott Topology |
|
|
435 | (8) |
|
|
|
|
|
|
|
Closure Operators in Topologies, Simple Matroids and Rough Sets |
|
|
443 | (8) |
|
|
|
|
|
|
|
|
|
Filters in Stone BL Algebras |
|
|
451 | (7) |
|
|
|
|
|
On the Existence of States on Residuated Lattices |
|
|
458 | (6) |
|
|
|
Falling Fuzzy Filters of MTL-Algebras |
|
|
464 | (8) |
|
|
|
Approximations in Multilattices |
|
|
472 | (8) |
|
|
|
|
|
Level Soft Sets Based on Fuzzy Sets |
|
|
480 | (8) |
|
|
|
|
|
|
|
Various (E, E Vq)-IV-Fuzzy Filters in FI-Algebras |
|
|
488 | (8) |
|
|
|
Countable Pre-Compactness of L-Fuzzy sets |
|
|
496 | (8) |
|
|
|
|
|
A Remark on Fuzzy Subsets of Ordered Semigroup |
|
|
504 | (8) |
|
|
|
|
|
Fuzzy Domains and a Classification Theorem |
|
|
512 | (8) |
|
|
|
|
|
A Note on Completeness of L-Partially Ordered Sets |
|
|
520 | (8) |
|
|
|
|
|
|
|
Fuzzy EQ-Filters of EQ-Algebras |
|
|
528 | (8) |
|
|
|
|
|
The Hyperspace of the Regions Below Lattice-Value Continuous Maps |
|
|
536 | (8) |
|
|
|
One Research of Soft Lattices |
|
|
544 | (8) |
|
|
|
|
|
Generating Left Semi-Uninorms and Implications on a Complete Lattice |
|
|
552 | (5) |
|
|
|
|
|
Principal Congruences and Kernel Ideals of Symmetric Extended de Morgan Algebras |
|
|
557 | (8) |
|
|
|
|
|
On the Monotouicity of the Fuzzy Systems Based upon Genuine Many-Valued Implications-SISO Cases |
|
|
565 | (8) |
|
|
|
|
|
A Generalization of Dilworth's Principal Elements |
|
|
573 | (8) |
|
|
|
|
|
Residuated Lattices as Extensions of Elementary Algebraic Structures |
|
|
581 | (8) |
|
|
|
Distance and Similarity Measures Between Intuitionistic Fuzzy Sets |
|
|
589 | (8) |
|
|
|
|
|
Construction Quantaloids from Quantales |
|
|
597 | (8) |
|
|
|
|
|
The Unitizations of Pseudo-Effect Algebras |
|
|
605 | (8) |
|
|
|
|
|
A Topological Position of the Set of Strongly Discontinuous Maps in the Set of Upper Semi-Continuous Maps |
|
|
613 | (6) |
|
|
|
|
|
On Fuzzy Soft Set Relations |
|
|
619 | (8) |
|
|
|
|
|
627 | (8) |
|
|
|
|
|
|
|
635 | (8) |
|
|
|
|
|
Notes on Discrete Fuzzy Numbers |
|
|
643 | (6) |
|
|
|
Statistical Extensions of Statistical Default Logic |
|
|
649 | (8) |
|
|
|
The Exocenter of a Generalized Pseudoeffect Algebra |
|
|
657 | (11) |
|
|
|
The ω-Regular Seperation Axiom in Lω-Spaces |
|
|
668 | (8) |
|
|
|
|
|
|
|
Based on Modified Quaternion Zernike Moments for Sea Ship Target Recognition |
|
|
676 | (8) |
|
|
|
|
|
|
|
Intermediate Quantifiers, Natural Language and Human Reasoning |
|
|
684 | (9) |
|
|
|
|
|
Intervals on Weakly Ordered Partial Commutative Groups of Linear Operators |
|
|
693 | (10) |
|
|
| Author Index |
|
703 | |
Lisainfo e-raamatute kohta