scientific article; zbMATH DE number 1354791

Jiří Močkoř, Irina Perfilieva, Vilém Novák

Publication date: 31 October 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

fuzzy logic fuzzy control many-valued logic category theory mathematical foundations hedges analogues of classical theorems

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

Fuzzy Horn logic. II. Implicationally defined classes., A multiple-valued logic approach to the design and verification of hardware circuits, MI-algebras: a new framework for arithmetics of (extensional) fuzzy numbers, The structure of generalized intermediate syllogisms, Construction of finite $\mathbf L$-groups., Convergence and fixed points by fuzzy orders, A formal theory of intermediate quantifiers, A representation of t-norms in interval-valued $L$-fuzzy set theory, Monadic $\mathbf L$-fuzzy quantifiers of the type $\langle 1^n,1\rangle $, A comprehensive theory of trichotomous evaluative linguistic expressions, Three and two-valued Łukasiewicz theories in the formal deductive system ${\mathcal L}^*$ (NM-logic), Spatial reasoning in a fuzzy region connection calculus, Antonyms and linguistic quantifiers in fuzzy logic, Normal forms for fuzzy logic functions and their approximation ability, Fuzzy preorder and fuzzy topology, Spline interpolation between hyperspaces of convex or fuzzy sets, Logical structure of fuzzy IF-THEN rules, Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems, Consistency degrees of theories and methods of graded reasoning in $n$-valued $R_{0}$-logic (NM-logic), Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic, Filter-based resolution principle for lattice-valued propositional logic LP$(X)$, Algebraic analysis of fuzzy systems, Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, On approximate reasoning with graded rules, Fuzzy logic with countable evaluated syntax revisited, The existence of vague objects, On the composition of fuzzy power relations, Type $\langle 1, 1 \rangle$ fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionality, Extension principles for closure operators on fuzzy sets and cuts, Compatibility of fuzzy power relations, A graded approach to cardinal theory of finite fuzzy sets. I: Graded equipollence, Reasoning with graded information: the case of diagnostic rating scales in healthcare, Axiomatic of fuzzy complex numbers, FS-FOIL: An inductive learning method for extracting interpretable fuzzy descriptions, On the $\alpha(u,v)$-symmetric implicational method for $\mathrm{R}$- and $(\mathrm{S},\mathrm{N})$-implications, A logic of graded attributes, Isomorphisms and functors of fuzzy sets and cut systems, Completions of cut systems in $Q$-sets, Cut systems in sets with similarity relations, On good EQ-algebras, An analysis of the logic of Riesz spaces with strong unit, Reasoning about mathematical fuzzy logic and its future, Closeness in similarity-based reasoning with an interpolation condition, Radial fuzzy systems, Fuzzy Turing machines: normal form and limitative theorems, A formal theory of generalized intermediate syllogisms, Handling the valuation of the predicates in a fuzzy model, A class of implications related to Yager's $f$-implications, Normal forms and truth tables for fuzzy logics, Fuzzy measures and integrals defined on algebras of fuzzy subsets over complete residuated lattices, Fuzzy transforms method in prediction data analysis, Spaces with fuzzy partitions and fuzzy transform, Fuzzy objects in spaces with fuzzy partitions, Representation theory of MV-algebras, A survey of fuzzy implication algebras and their axiomatization, On the existence and construction of $T$-transitive closures., Semi-normal forms and functional representation of product fuzzy logic., Normal forms in BL-algebra and their contribution to universal approximation of functions., Formal theories and linguistic descriptions., Fuzzy modifiers based on fuzzy relations., Is there a need for fuzzy logic?, On copulas, quasicopulas and fuzzy logic, Fuzzy logics and fuzzy model theory, Self-dual operators and a general framework for weighted nilpotent operators, Interest measures for fuzzy association rules based on expectations of independence, The general nilpotent operator system, Measures of ruleset quality for general rules extraction methods, Elements of model theory in higher-order fuzzy logic, A natural interpretation of fuzzy sets and fuzzy relations, Elicitation of fuzzy association rules from positive and negative examples, On fuzzy type theory, Consistency degrees of finite theories in Łukasiewicz propositional fuzzy logic, Uninorm solutions and (or) nullnorm solutions to the modularity condition equations, Generalized extensionality of fuzzy relations, Graded consequence revisited, Paraconsistent semantics for Pavelka style fuzzy sentential logic, On the (fuzzy) logical content of CADIAG-2, Continuity issues of the implicational interpretation of fuzzy rules, Generalized Lagrangian dynamics of physical and non-physical systems, A short note on fuzzy relational inference systems, Fuzzy inference systems preserving Moser-Navara axioms, Extensions of fuzzy relational compositions based on generalized quantifiers, A graded notion of functionality, The pseudo-linear semantics of interval-valued fuzzy logics, Generalized theory of uncertainty (GTU) -- principal concepts and ideas, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, EQ-algebras, Algebras of fuzzy sets, $\mathbf L$-fuzzy quantifiers of type $\langle 1\rangle $ determined by fuzzy measures, Similarity relations and BK-relational products, The GUHA method and its meaning for data mining, Are fuzzy sets a reasonable tool for modeling vague phenomena?, Algebras with fuzzy equalities, A new theory consistency index based on deduction theorems in several logic systems, On revising fuzzy belief bases, Logics for approximate entailment in ordered universes of discourse, Fuzzy $rr$DFCSP and planning, Complexity issues in Basic Logic, Functions represented by BL-algebra formulas: characterization and approximate representation, A note on congruence permutability and fuzzy logic, Measures of inclusion and entropy based on the $\varphi$-index of inclusion, lfl: an R package for linguistic fuzzy logic, Fuzzy quantifiers defined over fuzzy domains, On bounded residuated $\ell$EQ-algebras, Relational, closure and partition powerset theories, On solvability of systems of partial fuzzy relational equations, Rational Pavelka logic: the best among three worlds?, Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory, BKS Fuzzy Inference Employing h-Implications, Graded tableaux for Rational Pavelka Logic, On continuity of the entropy-based differently implicational algorithm, On the Equational Characterization of Continuous t-Norms, Continuous fuzzy Horn logic, Unnamed Item, Two Consistent Many-Valued Logics for Paraconsistent Phenomena, Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories, Effectiveness and multivalued logics, 1998 European Summer Meeting of the Association for Symbolic Logic, Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application, On the Relation Between Loss Functions and T-Norms, Fuzzy Measure Spaces Generated by Fuzzy Sets, Fuzzy function as an approximate solution to a system of fuzzy relation equations, System of fuzzy relation equations as a continuous model of IF-THEN rules, Some Properties of Residuated Lattices, A new universal approximation result for fuzzy systems, which reflects CNF DNF duality, From Classical to Fuzzy Type Theory, Mining pure linguistic associations from numerical data, Fuzzy orders and fuzzifying topologies, Fuzzy region connection calculus: representing vague topological information, Fuzzy region connection calculus: An interpretation based on closeness, Исследование качества решения задачи классификации нейронными нечeткими продукционными сетями на основе модели вывода Мамдани - Заде, Unnamed Item, Unsatisfiable Formulae of Gödel Logic with Truth Constants and $$\varDelta $$ Are Recursively Enumerable, Vagueness: where degree-based approaches are useful, and where we can do without, Unnamed Item, Graded cubes of opposition in fuzzy formal concept analysis, IT/IS security management with uncertain information, Mathematical Fuzzy Logics, A top-k retrieval algorithm based on a decomposition of ranking functions, Graded Generalized Hexagon in Fuzzy Natural Logic, How to Incorporate Excluding Features in Fuzzy Relational Compositions and What for, Towards Fuzzy Partial Set Theory, Graded Dominance and Cantor-Bernstein Equipollence of Fuzzy Sets, On EMV-algebras with square roots, Interpolativity of at-least and at-most models of monotone single-input single-output fuzzy rule bases, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, Graded structures of opposition in fuzzy natural logic, Characterizations of maximal consistent theories in the formal deductive system $\mathcal L^{*}$ (NM-logic) and Cantor space, Reducing fuzzy answer set programming to model finding in fuzzy logics, We need fuzzy techniques to design successful human-like robots, Intuitive idea of implication versus formal definition: how to define the corresponding degree, Finitely generated sets of fuzzy values: if ``and is exact, then ``or is almost always approximate, and vice versa -- a theorem, Fuzzy logic explains the usual choice of logical operations in 2-valued logic, On the symmetric quintuple implicational method of fuzzy reasoning, Graded polygons of opposition in fuzzy formal concept analysis, Fuzzy closure systems onL-ordered sets, Implication Functions Generated Using Functions of One Variable, Constructions of fuzzy logic models in categories of sets with similarities, Analysis of seasonal time series using fuzzy approach, The $R_0$-type fuzzy logic metric space and an algorithm for solving fuzzy modus ponens, Unified forms of Triple I method, Consistency degrees of theories in some systems of propositional fuzzy logic, Which fuzzy logic is the best: pragmatic approach (and its theoretical analysis), Logical foundations of rule-based systems, Advances and challenges in interval-valued fuzzy logic, Fuzzy logic from the viewpoint of machine intelligence, Which logic is the real fuzzy logic?, Fuzzy transforms: theory and applications, Fuzzy transform as an additive normal form, Fuzzy sets and formal logics, Pavelka-style fuzzy logic in retrospect and prospect, Evaluative linguistic expressions vs. fuzzy categories, Unnamed Item, On expansions of WNM t-norm based logics with truth-constants, Rough sets based on Galois connections, Conservative extension of polyadic MV-algebras to polyadic Pavelka algebras, Unnamed Item, Unnamed Item, On Fuzzy Logic I Many‐valued rules of inference, Dominance on continuous Archimedean triangular norms and generalized Mulholland inequality, Multi-adjoint lattices from adjoint triples with involutive negation, Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization, A comparative study of Tarski's fixed point theorems with the stress on commutative sets of $\mathbf{L}$-fuzzy isotone maps with respect to transitivities, Why use a fuzzy partition in F-transform?, Why triangular membership functions are successfully used in F-transform applications: a global explanation to supplement the existing local ones, Unnamed Item, Analyzing differentiable fuzzy logic operators, Lattice-type fuzzy order is uniquely given by its 1-cut: Proof and consequences, Hyperresolution for Gödel logic with truth constants, Subtypes in fuzzy type theory, Toward a generalized theory of uncertainty (GTU) -- an outline, Mathematical fuzzy logic as a tool for the treatment of vague information, The distributive equations for idempotent uninorms and nullnorms, Commonsense explanations of sparsity, Zipf law, and Nash's bargaining solution, Why Lasso, ridge regression, and EN: explanation based on soft computing, Threshold Boolean logic, Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers, Recognition of damaged letters based on mathematical fuzzy logic analysis, Conventional controller design based on Takagi-Sugeno fuzzy models, Estimating a probability distribution corresponding to the negation of a property, Fuzzy Horn logic. I. Proof theory., Optimization Under Fuzzy Constraints: Need to Go Beyond Bellman-Zadeh Approach and How It Is Related to Skewed Distributions, Why rectified linear activation functions? Why max-pooling? A possible explanation, Localized learning: a possible alternative to current deep learning techniques, Implications Generated by Triples of Monotone Functions, Why Triangular and Trapezoid Membership Functions: A Simple Explanation, The Concept of Linguistic Variable Revisited, Why Some Non-classical Logics Are More Studied?, Accuracy of Data Fusion: Interval (and Fuzzy) Case, Type $\langle 1,1\rangle$ fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples, Type $\langle 1,1\rangle$ fuzzy quantifiers determined by fuzzy measures defined on residuated lattices. II: Permutation and isomorphism invariances, Analysis of generalized square of opposition with intermediate quantifiers, Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic, Implication-based models of monotone fuzzy rule bases, EQ-algebras from the point of view of generalized algebras with fuzzy equalities, Symmetric implicational method of fuzzy reasoning, Hierarchical structure and applications of fuzzy logical systems