Reasoning about mathematical fuzzy logic and its future (Q419039): Difference between revisions

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. These 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.

0 references

zbMATH Keywords

fuzzy logic

0 references

fuzzy type theory

0 references

graded consequence relations

0 references

common-sense reasoning

0 references

evaluated syntax

0 references

approximate reasoning

0 references

reviewed by

Siegfried Johannes Gottwald

0 references

describes a project that uses

ETPS

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.fss.2010.09.019

0 references

cites work

An introduction to mathematical logic and type theory: To truth through proof.

0 references

Relations in fuzzy class theory: initial steps

0 references

Fuzzy class theory

0 references

From fuzzy logic to fuzzy mathematics: a methodological manifesto

0 references

Fuzzy logics as the logics of chains

0 references

Relational compositions in fuzzy class theory

0 references

Learning rule base in linguistic expert systems

0 references

Algebraic foundations of many-valued reasoning

0 references

The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics

0 references

Weakly implicative (fuzzy) logics. I: Basic properties

0 references

Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies

0 references

Triangular norm based predicate fuzzy logics

0 references

Formal systems of fuzzy logic and their fragments

0 references

Introduction: Progress in formal commonsense reasoning

0 references

Q3143835

0 references

Fuzzy logic deduction with crisp observations

0 references

\(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures

0 references

Formal theories and linguistic descriptions.

0 references

Q3533552

0 references

Representable good EQ-algebras

0 references

Monoidal t-norm based logic: Towards a logic for left-continuous t-norms

0 references

The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics

0 references

On expansions of WNM t-norm based logics with truth-constants

0 references

MV-algebras with internal states and probabilistic fuzzy logics

0 references

Residuated lattices. An algebraic glimpse at substructural logics

0 references

Fuzzy quantifiers. A computational theory

0 references

The logic of inexact concepts

0 references

Q3135091

0 references

Mathematical Fuzzy Logics

0 references

Q5692481

0 references

Metamathematics of fuzzy logic

0 references

Ten questions and one problem on fuzzy logic

0 references

Q4817203

0 references

What is mathematical fuzzy logic

0 references

On theories and models in fuzzy predicate logics

0 references

The sorites paradox and fuzzy logic

0 references

Completeness in the theory of types

0 references

A theory of prepositional types

0 references

Q4836218

0 references

Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)

0 references

Solution of a system of linear equations with fuzzy numbers

0 references

Filters in fuzzy class theory

0 references

Q3113046

0 references

Q4982403

0 references

Q5695960

0 references

Fuzzy control. Fundamentals, stability and design of fuzzy controllers.

0 references

On a generalization of quantifiers

0 references

0 references

0 references

0 references

0 references

Are fuzzy sets a reasonable tool for modeling vague phenomena?

0 references

On fuzzy type theory

0 references

Which logic is the real fuzzy logic?

0 references

Fuzzy logic with countable evaluated syntax revisited

0 references

A comprehensive theory of trichotomous evaluative linguistic expressions

0 references

A formal theory of intermediate quantifiers

0 references

EQ-algebra-based fuzzy type theory and its extensions

0 references

EQ-algebras

0 references

Logical structure of fuzzy IF-THEN rules

0 references

On the semantics of perception-based fuzzy logic deduction

0 references

Q4269081

0 references

Analysis of seasonal time series using fuzzy approach

0 references

On Fuzzy Logic I Many‐valued rules of inference

0 references

Normal forms in BL-algebra and their contribution to universal approximation of functions.

0 references

Logical approximation

0 references

Logical foundations of rule-based systems

0 references

On Product Logic with Truth-constants

0 references

Q4329299

0 references

Q4342068

0 references

Quantifiers, modifiers and qualifiers in fuzzy logic

0 references

Fuzzy sets

0 references

Quantitative fuzzy semantics

0 references

The concept of a linguistic variable and its application to approximate reasoning. III

0 references

A computational approach to fuzzy quantifiers in natural languages

0 references

Identifiers

zbMATH Open document ID

1247.03036

0 references

DOI

10.1016/j.fss.2010.09.019

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:419039

@@ Property / review text @@
+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.  These 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.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B52
@@ Property / Mathematics Subject Classification ID: 03B52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 03B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B65
@@ Property / Mathematics Subject Classification ID: 03B65 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T37
@@ Property / Mathematics Subject Classification ID: 68T37 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T50
@@ Property / Mathematics Subject Classification ID: 68T50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6036176
@@ Property / zbMATH DE Number: 6036176 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fuzzy logic
@@ Property / zbMATH Keywords: fuzzy logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+fuzzy type theory
@@ Property / zbMATH Keywords: fuzzy type theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graded consequence relations
@@ Property / zbMATH Keywords: graded consequence relations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+common-sense reasoning
@@ Property / zbMATH Keywords: common-sense reasoning / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+evaluated syntax
@@ Property / zbMATH Keywords: evaluated syntax / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+approximate reasoning
@@ Property / zbMATH Keywords: approximate reasoning / rank @@
+Normal rank
@@ Property / reviewed by @@
+Siegfried Johannes Gottwald
@@ Property / reviewed by: Siegfried Johannes Gottwald / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETPS
@@ Property / describes a project that uses: ETPS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.fss.2010.09.019
+Normal rank
@@ Property / OpenAlex ID @@
+W2116314945
@@ Property / OpenAlex ID: W2116314945 / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to mathematical logic and type theory: To truth through proof.
+Normal rank
@@ Property / cites work @@
+Relations in fuzzy class theory: initial steps
@@ Property / cites work: Relations in fuzzy class theory: initial steps / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy class theory
@@ Property / cites work: Fuzzy class theory / rank @@
+Normal rank
@@ Property / cites work @@
+From fuzzy logic to fuzzy mathematics: a methodological manifesto
+Normal rank
@@ Property / cites work @@
+Fuzzy logics as the logics of chains
@@ Property / cites work: Fuzzy logics as the logics of chains / rank @@
+Normal rank
@@ Property / cites work @@
+Relational compositions in fuzzy class theory
@@ Property / cites work: Relational compositions in fuzzy class theory / rank @@
+Normal rank
@@ Property / cites work @@
+Learning rule base in linguistic expert systems
@@ Property / cites work: Learning rule base in linguistic expert systems / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations of many-valued reasoning
@@ Property / cites work: Algebraic foundations of many-valued reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics
+Normal rank
@@ Property / cites work @@
+Weakly implicative (fuzzy) logics. I: Basic properties
+Normal rank
@@ Property / cites work @@
+Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
+Normal rank
@@ Property / cites work @@
+Triangular norm based predicate fuzzy logics
@@ Property / cites work: Triangular norm based predicate fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems of fuzzy logic and their fragments
@@ Property / cites work: Formal systems of fuzzy logic and their fragments / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction: Progress in formal commonsense reasoning
+Normal rank
@@ Property / cites work @@
+Q3143835
@@ Property / cites work: Q3143835 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic deduction with crisp observations
@@ Property / cites work: Fuzzy logic deduction with crisp observations / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures
+Normal rank
@@ Property / cites work @@
+Formal theories and linguistic descriptions.
@@ Property / cites work: Formal theories and linguistic descriptions. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3533552
@@ Property / cites work: Q3533552 / rank @@
+Normal rank
@@ Property / cites work @@
+Representable good EQ-algebras
@@ Property / cites work: Representable good EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
+Normal rank
@@ Property / cites work @@
+The \(L\Pi\) and \(L\Pi\frac 12\) logics: Two complete fuzzy systems joining Łukasiewicz and product logics
+Normal rank
@@ Property / cites work @@
+On expansions of WNM t-norm based logics with truth-constants
+Normal rank
@@ Property / cites work @@
+MV-algebras with internal states and probabilistic fuzzy logics
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Fuzzy quantifiers. A computational theory
@@ Property / cites work: Fuzzy quantifiers. A computational theory / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of inexact concepts
@@ Property / cites work: The logic of inexact concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3135091
@@ Property / cites work: Q3135091 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Fuzzy Logics
@@ Property / cites work: Mathematical Fuzzy Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692481
@@ Property / cites work: Q5692481 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ten questions and one problem on fuzzy logic
@@ Property / cites work: Ten questions and one problem on fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817203
@@ Property / cites work: Q4817203 / rank @@
+Normal rank
@@ Property / cites work @@
+What is mathematical fuzzy logic
@@ Property / cites work: What is mathematical fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+On theories and models in fuzzy predicate logics
@@ Property / cites work: On theories and models in fuzzy predicate logics / rank @@
+Normal rank
@@ Property / cites work @@
+The sorites paradox and fuzzy logic
@@ Property / cites work: The sorites paradox and fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of prepositional types
@@ Property / cites work: A theory of prepositional types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4836218
@@ Property / cites work: Q4836218 / rank @@
+Normal rank
@@ Property / cites work @@
+Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
+Normal rank
@@ Property / cites work @@
+Solution of a system of linear equations with fuzzy numbers
+Normal rank
@@ Property / cites work @@
+Filters in fuzzy class theory
@@ Property / cites work: Filters in fuzzy class theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3113046
@@ Property / cites work: Q3113046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4982403
@@ Property / cites work: Q4982403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5695960
@@ Property / cites work: Q5695960 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy control. Fundamentals, stability and design of fuzzy controllers.
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142018
@@ Property / cites work: Q3142018 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994407
@@ Property / cites work: Q3994407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3484812
@@ Property / cites work: Q3484812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4341181
@@ Property / cites work: Q4341181 / rank @@
+Normal rank
@@ Property / cites work @@
+Are fuzzy sets a reasonable tool for modeling vague phenomena?
+Normal rank
@@ Property / cites work @@
+On fuzzy type theory
@@ Property / cites work: On fuzzy type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Which logic is the real fuzzy logic?
@@ Property / cites work: Which logic is the real fuzzy logic? / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic with countable evaluated syntax revisited
+Normal rank
@@ Property / cites work @@
+A comprehensive theory of trichotomous evaluative linguistic expressions
+Normal rank
@@ Property / cites work @@
+A formal theory of intermediate quantifiers
@@ Property / cites work: A formal theory of intermediate quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+EQ-algebra-based fuzzy type theory and its extensions
+Normal rank
@@ Property / cites work @@
+EQ-algebras
@@ Property / cites work: EQ-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Logical structure of fuzzy IF-THEN rules
@@ Property / cites work: Logical structure of fuzzy IF-THEN rules / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of perception-based fuzzy logic deduction
+Normal rank
@@ Property / cites work @@
+Q4269081
@@ Property / cites work: Q4269081 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of seasonal time series using fuzzy approach
+Normal rank
@@ Property / cites work @@
+On Fuzzy Logic I Many‐valued rules of inference
@@ Property / cites work: On Fuzzy Logic I Many‐valued rules of inference / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in BL-algebra and their contribution to universal approximation of functions.
+Normal rank
@@ Property / cites work @@
+Logical approximation
@@ Property / cites work: Logical approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of rule-based systems
@@ Property / cites work: Logical foundations of rule-based systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Product Logic with Truth-constants
@@ Property / cites work: On Product Logic with Truth-constants / rank @@
+Normal rank
@@ Property / cites work @@
+Q4329299
@@ Property / cites work: Q4329299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342068
@@ Property / cites work: Q4342068 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers, modifiers and qualifiers in fuzzy logic
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative fuzzy semantics
@@ Property / cites work: Quantitative fuzzy semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The concept of a linguistic variable and its application to approximate reasoning. III
+Normal rank
@@ Property / cites work @@
+A computational approach to fuzzy quantifiers in natural languages
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:419039