Reasoning about mathematical fuzzy logic and its future
From MaRDI portal
The author surveys developments in formalized fuzzy logic. On the one hand he discusses the basic mathematical fuzzy logics like BL and MTL, as well as some of their schematic extensions. On the other hand he gives a more extended discussion of fuzzy logics with graded notions of consequence, particularly his own favorites: the fuzzy logic with evaluated syntax and the fuzzy type theory.NEWLINENEWLINEThese latter approaches are presented together with their main applications toward approximate reasoning, as well as natural language modeling and common-sense reasoning, particularly generalized quantifiers and their syllogistic inference rules.
Recommendations
Cites work
- L-fuzzy quantifiers of type 1 determined by fuzzy measures
- A comprehensive theory of trichotomous evaluative linguistic expressions
- A computational approach to fuzzy quantifiers in natural languages
- A formal theory of intermediate quantifiers
- A theory of prepositional types
- Algebraic foundations of many-valued reasoning
- An introduction to mathematical logic and type theory: To truth through proof.
- Analysis of seasonal time series using fuzzy approach
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- Completeness in the theory of types
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- EQ-algebra-based fuzzy type theory and its extensions
- EQ-algebras
- Filters in fuzzy class theory
- Formal systems of fuzzy logic and their fragments
- Formal theories and linguistic descriptions.
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Fuzzy class theory
- Fuzzy control. Fundamentals, stability and design of fuzzy controllers.
- Fuzzy logic deduction with crisp observations
- Fuzzy logic with countable evaluated syntax revisited
- Fuzzy logics as the logics of chains
- Fuzzy quantifiers. A computational theory
- Fuzzy sets
- scientific article; zbMATH DE number 6003856 (Why is no real title available?)
- scientific article; zbMATH DE number 420884 (Why is no real title available?)
- scientific article; zbMATH DE number 440109 (Why is no real title available?)
- scientific article; zbMATH DE number 4156411 (Why is no real title available?)
- scientific article; zbMATH DE number 41101 (Why is no real title available?)
- scientific article; zbMATH DE number 1354791 (Why is no real title available?)
- scientific article; zbMATH DE number 1735934 (Why is no real title available?)
- scientific article; zbMATH DE number 1023181 (Why is no real title available?)
- scientific article; zbMATH DE number 1028806 (Why is no real title available?)
- scientific article; zbMATH DE number 2101977 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 6423789 (Why is no real title available?)
- scientific article; zbMATH DE number 2209491 (Why is no real title available?)
- scientific article; zbMATH DE number 2212542 (Why is no real title available?)
- Introduction: Progress in formal commonsense reasoning
- Learning rule base in linguistic expert systems
- Logical approximation
- Logical foundations of rule-based systems
- Logical structure of fuzzy IF-THEN rules
- Mathematical Fuzzy Logics
- Metamathematics of fuzzy logic
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- MV-algebras with internal states and probabilistic fuzzy logics
- Normal forms in BL-algebra and their contribution to universal approximation of functions.
- On a generalization of quantifiers
- On expansions of WNM t-norm based logics with truth-constants
- On Fuzzy Logic I Many‐valued rules of inference
- On fuzzy type theory
- On Product Logic with Truth-constants
- On the semantics of perception-based fuzzy logic deduction
- On theories and models in fuzzy predicate logics
- Quantifiers, modifiers and qualifiers in fuzzy logic
- Quantitative fuzzy semantics
- Relational compositions in fuzzy class theory
- Relations in fuzzy class theory: initial steps
- Representable good EQ-algebras
- Representation of logic formulas by normal forms.
- Residuated lattices. An algebraic glimpse at substructural logics
- Solution of a system of linear equations with fuzzy numbers
- Ten questions and one problem on fuzzy logic
- The L and L 12 logics: Two complete fuzzy systems joining Łukasiewicz and product logics
- The concept of a linguistic variable and its application to approximate reasoning. III
- The logic of inexact concepts
- The sorites paradox and fuzzy logic
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- Towards automatic modeling of economic texts
- Triangular norm based predicate fuzzy logics
- Weakly implicative (fuzzy) logics. I: Basic properties
- What is mathematical fuzzy logic
- Which logic is the real fuzzy logic?
Cited in
(17)- Linguistic characterization of time series
- Redefinition of the concept of fuzzy set based on vague partition from the perspective of axiomatization
- Reflections on an old problem: that of preserving the logical forms and symmetry
- On the logos: a naïve view on ordinary reasoning and fuzzy logic
- Fuzzy logic from the viewpoint of machine intelligence
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Towards rational closure for fuzzy logic: the case of propositional Gödel logic
- Mathematical fuzzy logic: A good theory for practice
- From classical to fuzzy type theory
- scientific article; zbMATH DE number 979859 (Why is no real title available?)
- scientific article; zbMATH DE number 1023181 (Why is no real title available?)
- scientific article; zbMATH DE number 1420841 (Why is no real title available?)
- Reasoning and language at work. A critical essay
- On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
- Mathematical Fuzzy Logic in Modeling of Natural Language Semantics
- Mathematical fuzzy logic: an invitation to interesting research areas
This page was built for publication: Reasoning about mathematical fuzzy logic and its future
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q419039)
