Fuzzy logic. Mathematical tools for approximate reasoning
From MaRDI portal
Publication:5932855
zbMath0976.03026MaRDI QIDQ5932855
Publication date: 30 May 2001
Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)
Fuzzy logic; logic of vagueness (03B52) Fuzzy control/observation systems (93C42) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Many-valued logic (03B50) Computability and recursion theory (03D99)
Related Items
Pseudovarieties of algebras with fuzzy equalities., A calculus for containment of fuzzy attributes, On the computing power of fuzzy Turing machines, Convergence and fixed points by fuzzy orders, On lifting quasi-filters and strong lifting quasi-filters in MV-algebras, Meta-logic programming for a synonymy logic, Approximating approximate reasoning: fuzzy sets and the Ershov hierarchy, Fuzzy submonoids, fuzzy preorders and quasi-metrics, Vagueness and Formal Fuzzy Logic: Some Criticisms, Algebraic analysis of fuzzy systems, Modus tollens with respect to uninorms: \(U\)-modus tollens, Some Instances of Graded Consequence in the Context of Interval-Valued Semantics, On the existence of free models in fuzzy universal Horn classes, The existence of vague objects, The role of metalanguage in graded logical approaches, Consequence and Degrees of Truth in Many-Valued Logic, A new definition of order relation for the introduction of algebraic fuzzy closure operators, A logic of graded attributes, Fuzzy inequational logic, Consequence operators, interior operators and fuzzy relations, Graded consequence: an institution theoretic study, Completions of cut systems in \(Q\)-sets, Mathematical Fuzzy Logics, Bases of closure systems over residuated lattices, On implicative closure operators in approximate reasoning., Perfect Pavelka logic, \(L\)-fuzzy interior systems, Spaces with fuzzy partitions and fuzzy transform, Probability logic of finitely additive beliefs, Point-free foundation of geometry looking at laboratory activities, Formal theories and linguistic descriptions., Multivalued logic to transform potential into actual objects, Point-free geometry and verisimilitude of theories, Variety theorem for algebras with fuzzy orders, Graded tableaux for Rational Pavelka Logic, A Transformation-based implementation for CLP with qualification and proximity, Automata theory based on complete residuated lattice-valued logic: Turing machines, Fuzzy logic programming reduced to reasoning with attribute implications, Inconsistency as qualified truth: a probability logic approach, What is mathematical fuzzy logic, Fuzzy sets and formal logics, Pavelka-style fuzzy logic in retrospect and prospect, On the role of logical connectives for primality and functional completeness of algebras of logics, Triangular norm based predicate fuzzy logics, On expansions of WNM t-norm based logics with truth-constants, Fuzzy control as a fuzzy deduction system, Graded consequence revisited, Fuzzy logic programming and fuzzy control, Fuzzy closure operators, Derivation digraphs for dependencies in ordinal and similarity-based data, Automated prover for attribute dependencies in data with grades, Fuzzy Logic and the Linz Seminar: Themes and Some Personal Reminiscences, On vagueness, truth values and fuzzy logics, Attribute implications in \textbf{L}-concept analysis with positive and negative attributes: validity and properties of models, Boolean fuzzy logic and generalized capacities, Learning hierarchical probabilistic logic programs, A hybrid programming scheme combining fuzzy-logic and functional-logic resources, The annihilator of fuzzy subgroups, Mathematical fuzzy logic as a tool for the treatment of vague information, On revising fuzzy belief bases, Bilattices for deductions in multi-valued logic, Effectiveness and multivalued logics
