Hilbertian systems, analytic fuzzy tableaux and cut rule elimination in rational pavelka logic
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Fuzzy closure operators induced by similarity
Fundamenta Informaticae
Mathematical fuzzy logic as a tool for the treatment of vague information
Information Sciences—Informatics and Computer Science: An International Journal
Algebraic analysis of fuzzy systems
Fuzzy Sets and Systems
A normal form which preserves tautologies and contradictions in a class of fuzzy logics
Journal of Algorithms
On the computing power of fuzzy Turing machines
Fuzzy Sets and Systems
Convergence and fixed points by fuzzy orders
Fuzzy Sets and Systems
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Multi-valued Logics, Effectiveness and Domains
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Counting Finite Residuated Lattices
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
On Proofs and Rule of Multiplication in Fuzzy Attribute Logic
IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
Lindig's Algorithm for Concept Lattices over Graded Attributes
MDAI '07 Proceedings of the 4th international conference on Modeling Decisions for Artificial Intelligence
A hybrid programming scheme combining fuzzy-logic and functional-logic resources
Fuzzy Sets and Systems
Fuzzifying Closure Systems and Fuzzy Lattices
RSFDGrC '07 Proceedings of the 11th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
Concepts and fuzzy sets: Misunderstandings, misconceptions, and oversights
International Journal of Approximate Reasoning
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
On expansions of WNM t-norm based logics with truth-constants
Fuzzy Sets and Systems
Some Proof Theoretic Results Depending on Context from the Perspective of Graded Consequence
RSFDGrC '09 Proceedings of the 12th International Conference on Rough Sets, Fuzzy Sets, Data Mining and Granular Computing
What is mathematical fuzzy logic
Fuzzy Sets and Systems
Mathematical fuzzy logic as a tool for the treatment of vague information
Information Sciences: an International Journal
On the role of logical connectives for primality and functional completeness of algebras of logics
Information Sciences: an International Journal
Fuzzy closure operators induced by similarity
IFSA'03 Proceedings of the 10th international fuzzy systems association World Congress conference on Fuzzy sets and systems
Fuzzy Sets and Systems
Probability Logic of Finitely Additive Beliefs
Journal of Logic, Language and Information
Computing the lattice of all fixpoints of a fuzzy closure operator
IEEE Transactions on Fuzzy Systems - Special section on computing with words
Base belief change for finitary monotonic logics
CAEPIA'09 Proceedings of the Current topics in artificial intelligence, and 13th conference on Spanish association for artificial intelligence
Computers & Mathematics with Applications
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
On revising fuzzy belief bases
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Fuzzy attribute implications: computing non-redundant bases using maximal independent sets
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Attribute implications in a fuzzy setting
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Classical computability and fuzzy turing machines
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Multi-dimensional model of approximate reasoning in surgical chance evaluation
International Journal of Computers in Healthcare
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Automata theory based on complete residuated lattice-valued logic: Turing machines
Fuzzy Sets and Systems
Fuzzy Closure Operators Induced by Similarity
Fundamenta Informaticae
An efficient reasoning method for dependencies over similarity and ordinal data
MDAI'12 Proceedings of the 9th international conference on Modeling Decisions for Artificial Intelligence
Fuzzy Sets and Systems
Robot reasoning using first order bayesian networks
IUKM'13 Proceedings of the 2013 international conference on Integrated Uncertainty in Knowledge Modelling and Decision Making
A Consequence Relation for Graded Inference within the Frame of Infinite-valued Łukasiewicz Logic
Fundamenta Informaticae - MFCS & CSL 2010 Satellite Workshops: Selected Papers
Derivation digraphs for dependencies in ordinal and similarity-based data
Information Sciences: an International Journal
Hi-index | 0.00 |
The theme of this book is fuzzy logic in a narrow sense, a promising new chapter of formal logic. The basic ideas of formal logic were formulated by Lotfi Zadeh in 1975. The aim of this logic is to investigate the wonderful human capacity of reasoning with vague notions by attempting to formalize the "approximate reasoning" we use in everyday life. A peculiarity of this book is to propose a general framework based on three mathematical tools: the theory of fuzzy closure operators, an extension principle for crisp logics and the theory of recursively enumerable fuzzy subsets. This book is unique in that it treats fuzzy logics which are not truth-functional in nature (as an example, the logic of the necessities, probabilistic logics and similarity-based logics). The book is addressed to people interested in artificial intelligence, fuzzy control, formal logic, and philosophy. It can be used in special post-graduate university studies and in advanced courses. The book is completely self-contained.