On fuzzy type theory (Q703370): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4343987 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A reduction of the axioms for the theory of prepositional types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2751367 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An introduction to mathematical logic and type theory: To truth through proof. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4023825 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4108293 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2757760 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Metamathematics of fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4450450 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness in the theory of types / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theory of prepositional types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4346206 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4836218 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Equality relations as a basis for fuzzy control / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3994407 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Discovering the world with fuzzy logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4269081 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Normal forms for fuzzy logic functions and their approximation ability / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4843182 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992728 / rank
 
Normal rank

Revision as of 16:07, 7 June 2024

scientific article
Language Label Description Also known as
English
On fuzzy type theory
scientific article

    Statements

    On fuzzy type theory (English)
    0 references
    0 references
    11 January 2005
    0 references
    Fuzzy logic was originally invented to describe human reasoning. The original fuzzy logic covered only propositional formulas. Later, quantifiers were added to fuzzy logic. However, an important part of human reasoning is still missing from fuzzy logic: arguments that usually require a higher-order logic. For example, we can say that \(X\) is a typical plant because it has all the properties that plants normally have. Such statements include quantifiers over all the properties; they are usually formalized in second-order logic. In the traditional (non-fuzzy) logic, one of the ways to describe higher-order logic is via a type theory. Type theory was originally designed to handle similar problems in set theory, where, in addition to sets of integers (i.e., in effect, properties of integers -- properties of first order), we also have sets of sets of integers (i.e., properties satisfied by properties of first order). To formalize higher-order-type statements in fuzzy logic, the author proposes a new formalism that extends type theory to the multi-valued case of fuzzy logic. He also proves properties of this fuzzy type theory, e.g., its completeness. Interestingly, it turns out that these results are only possible within an appropriate formalization of fuzzy logic: e.g., it is essential to include a hedge ``absolutely true'' -- defined as \(\Delta(a)=1\) if \(a=1\) and \(\Delta(a)=0\) otherwise -- into the set of basic fuzzy logic operations.
    0 references
    fuzzy logic
    0 references
    type theory
    0 references
    higher-order logic
    0 references

    Identifiers