On fuzzy type theory (Q703370): Difference between revisions
From MaRDI portal
Created a new Item |
Normalize DOI. |
||
(8 intermediate revisions by 7 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1016/j.fss.2004.03.027 / rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: ETPS / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.fss.2004.03.027 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2090670604 / rank | |||
Normal rank | |||
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 | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q56083689 / rank | |||
Normal rank | |||
Property / DBLP publication ID | |||
Property / DBLP publication ID: journals/fss/Novak05 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1016/J.FSS.2004.03.027 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:10, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On fuzzy type theory |
scientific article |
Statements
On fuzzy type theory (English)
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