Reasoning about mathematical fuzzy logic and its future
DOI10.1016/j.fss.2010.09.019zbMath1247.03036OpenAlexW2116314945MaRDI QIDQ419039
Publication date: 18 May 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2010.09.019
fuzzy logicapproximate reasoningfuzzy type theorycommon-sense reasoningevaluated syntaxgraded consequence relations
Fuzzy logic; logic of vagueness (03B52) Logic of natural languages (03B65) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Natural language processing (68T50) Many-valued logic (03B50)
Related Items (4)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fuzzy logic deduction with crisp observations
- On fuzzy type theory
- Are fuzzy sets a reasonable tool for modeling vague phenomena?
- Introduction: Progress in formal commonsense reasoning
- Fuzzy quantifiers. A computational theory
- A formal theory of intermediate quantifiers
- Relations in fuzzy class theory: initial steps
- Filters in fuzzy class theory
- Solution of a system of linear equations with fuzzy numbers
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
- A comprehensive theory of trichotomous evaluative linguistic expressions
- Logical structure of fuzzy IF-THEN rules
- Fuzzy logic with countable evaluated syntax revisited
- Residuated lattices. An algebraic glimpse at substructural logics
- MV-algebras with internal states and probabilistic fuzzy logics
- Representable good EQ-algebras
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Relational compositions in fuzzy class theory
- EQ-algebras
- \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures
- A computational approach to fuzzy quantifiers in natural languages
- The concept of a linguistic variable and its application to approximate reasoning. III
- Ten questions and one problem on fuzzy logic
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
- Logical approximation
- Learning rule base in linguistic expert systems
- Normal forms in BL-algebra and their contribution to universal approximation of functions.
- Formal theories and linguistic descriptions.
- Algebraic foundations of many-valued reasoning
- An introduction to mathematical logic and type theory: To truth through proof.
- Triangular norm based predicate fuzzy logics
- On expansions of WNM t-norm based logics with truth-constants
- Fuzzy class theory
- Formal systems of fuzzy logic and their fragments
- What is mathematical fuzzy logic
- Fuzzy logics as the logics of chains
- Logical foundations of rule-based systems
- Which logic is the real fuzzy logic?
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Fuzzy control. Fundamentals, stability and design of fuzzy controllers.
- Weakly implicative (fuzzy) logics. I: Basic properties
- The logic of inexact concepts
- Quantitative fuzzy semantics
- EQ-algebra-based fuzzy type theory and its extensions
- On the semantics of perception-based fuzzy logic deduction
- On a generalization of quantifiers
- On theories and models in fuzzy predicate logics
- Mathematical Fuzzy Logics
- Analysis of seasonal time series using fuzzy approach
- On Fuzzy Logic I Many‐valued rules of inference
- Quantifiers, modifiers and qualifiers in fuzzy logic
- The sorites paradox and fuzzy logic
- A theory of prepositional types
- On Product Logic with Truth-constants
- Fuzzy sets
- Completeness in the theory of types
- The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
This page was built for publication: Reasoning about mathematical fuzzy logic and its future