Quantitative Logic and Soft Computing 2016

Front Matter....Pages i-xv
Front Matter....Pages 1-1
Information Processing with Information Granules of Higher Type and Higher Order....Pages 3-4
Similarity-Based Logics for Approximate Entailments....Pages 5-6
Theoretical and Applicational Aspects of Fuzzy Implication Functions....Pages 7-8
A Novel Description of Factor Logic....Pages 9-20
A Brief Introduction to Probabilistically Quantitative Logic with Its Applications....Pages 21-45
Front Matter....Pages 47-47
A Quantitative Approach for Linear Temporal Logic....Pages 49-57
Soundness and Completeness of Fuzzy Propositional Logic with Three Kinds of Negation....Pages 59-70
Normal Form of n-Valued Lukasiewicz Logic Formulas....Pages 71-79
Relative Divergence Degree and Relative Consistency Degree of Theories in a Kind of Goguen Propositional Logic System....Pages 81-88
A Class of Fuzzy Modal Propositional Logic Systems with Three Kinds of Negation....Pages 89-100
Robustness Analysis of Fuzzy Computation Tree Logic....Pages 101-111
Localic Conuclei on Quantales....Pages 113-121
An Equivalent Form of Uncertain Measure....Pages 123-129
A Propositional Logic System for Regular Double Stone Algebra....Pages 131-136
The Comparison of Expressiveness Between LTL and IGPoLTL....Pages 137-145
Front Matter....Pages 147-155
Analyzing Quantitative Transition Systems....Pages 157-157
An Approach of Matching Based on Performance Specification of Components....Pages 159-169
Bisimulation Relations for Weighted Automata over Valuation Monoids....Pages 171-180
Weighted Automata Over Valuation Monoids with Input and Multi-output Characteristics....Pages 181-191
Front Matter....Pages 193-201
Splitting Algorithm of Valuation Algebra and Its Application in Automaton Representation of Semiring Valued Constraint Problems....Pages 157-157
Topological Constructions of Epsilon-Bisimulation....Pages 203-212
An Outline of 4-Valued Transition Statement Calculus....Pages 213-223
Front Matter....Pages 225-236
Generalized G-Generated Implications....Pages 237-237
On Relations Between Several Classes of Uninorms....Pages 239-249
Multiple Fuzzy Implications and Their Generating Methods....Pages 251-259
Extended Threshold Generation of a New Class of Fuzzy Implications....Pages 261-271
Mechanisms of Mixed Fuzzy Reasoning for Asymmetric Types....Pages 273-280
Two Kinds of Modifications of Implications....Pages 281-291
Distributivity for 2-Uninorms over Semi-uninorms....Pages 293-300
Further Studies of Left (Right) Semi-uninorms on a Complete Lattice....Pages 301-310
Front Matter....Pages 311-325
Interval-Valued Intuitionistic (T, S)-Fuzzy LI-Ideals in Lattice Implication Algebras....Pages 327-334
Tense Operators on Pseudo-MV Algebras....Pages 335-335
Parametrization Filters and Their Properties in Residuated Lattices....Pages 337-347
Weak Pseudo-Quasi-Wajsberg Algebras....Pages 349-359
Characterizations of a Class of Commutative Algebras of Logic Systems....Pages 361-371
Ideals in Residuated Lattices....Pages 373-384
Hyper Equality Algebras....Pages 385-395
Front Matter....Pages 397-406
A Special Sub-algebras of N(2, 2, 0)-Algebras....Pages 407-414
On Generalized Annihilators in BL-Algebras....Pages 415-428
Front Matter....Pages 335-335
On the Equivalence of Convergence of Fuzzy Number Series with Respect to Different Metrics....Pages 429-437
Multicriteria Decision Making Based on Interval-Valued Intuitionistic Fuzzy Sets with a New Kind of Accuracy Function....Pages 439-450
Regression Analysis Model Based on Normal Fuzzy Numbers....Pages 451-461
Multi-variable-term Latticized Linear Programming with Addition-Min Fuzzy Relation Inequalities Constraint....Pages 463-463
Possibility Interval-Valued Multi-fuzzy Soft Sets and Theirs Applications....Pages 465-475
Weighted Interval-Valued Belief Structures on Atanassov’s Intuitionistic Fuzzy Sets....Pages 477-486
Determinations of Soft Topologies....Pages 487-504
C̆ech Closure Molecular Lattices....Pages 505-513
Multi-L-soft Set and Its Application in Decision Making....Pages 515-525
On Some New Generalizations of Yager’s Implications....Pages 527-538
Front Matter....Pages 539-551
An Online Mall CRM Model Based on Data Mining....Pages 553-563
Color Image Segmentation Based on Superpixel and Improved Nyström Algorithm....Pages 565-573
A Vague Sets Based Vertical Handoff Algorithm in Heterogeneous Networks....Pages 575-586
Image Thresholding by Maximizing the Similarity Degree Based on Intuitionistic Fuzzy Sets....Pages 587-596
Image Super Resolution Using Expansion Move Algorithm....Pages 597-597
The Minimum Spectral Radius of Strongly Connected Bipartite Digraphs with Complete Bipartite Subdigraph....Pages 599-606
Front Matter....Pages 607-615
A Fuzzy Support Vector Machine Algorithm and Its Application in Telemarketing....Pages 617-629
....Pages 631-640