| Attributes | Values |
|---|
| rdf:type
| |
| Description
| - The paper states the problem of fragmentation of contemporary fuzzy mathematics and the need of a unified methodology and formalism. We formulate several guidelines based on H\'ajek's methodology in fuzzy logic, which enable us to follow closely the constructions and methods of classical mathematics recast in a fuzzy setting. As a particular solution we propose a three-layer architecture of fuzzy mathematics, with the layers of formal fuzzy logic, a foundational theory, and individual mathematical disciplines developed within its framework. The ground level of logic being sufficiently advanced, we focus on the foundational level; the theory we propose for the foundations of fuzzy mathematics can be characterized as Henkin-style higher-order fuzzy logic. Finally we give some hints on the further development of individual mathematical disciplines in the proposed framework, and proclaim it a research programme in formal fuzzy mathematics.
- The paper states the problem of fragmentation of contemporary fuzzy mathematics and the need of a unified methodology and formalism. We formulate several guidelines based on H\'ajek's methodology in fuzzy logic, which enable us to follow closely the constructions and methods of classical mathematics recast in a fuzzy setting. As a particular solution we propose a three-layer architecture of fuzzy mathematics, with the layers of formal fuzzy logic, a foundational theory, and individual mathematical disciplines developed within its framework. The ground level of logic being sufficiently advanced, we focus on the foundational level; the theory we propose for the foundations of fuzzy mathematics can be characterized as Henkin-style higher-order fuzzy logic. Finally we give some hints on the further development of individual mathematical disciplines in the proposed framework, and proclaim it a research programme in formal fuzzy mathematics. (en)
- Článek konstatuje problém fragmentace soudobé fuzzy matematiky a potřebu jednotného formalismu a metodologického přístupu. Formulujeme několik obecných zásad založených na Hájkově přístupu k fuzzy logice, které umožní použít známé klasické konstrukce a metody ve fuzzy matematice. Konkrétně navrhneme troj-úrovňovou architekturu fuzzy matematiky (logika, základní teorie a v ní budované jednotlivé matematické disciplíny). Jelikož vrstva logická je již dostatečně propracována, zaměříme se na vytvoření základní teorie, k tomuto účelu navrhneme Henkinovskou fuzzy logiku vyššího řádu. Na závěr jsou naznačeny možnosti dalšího vývoje jednotlivých disciplín fuzzy matematiky v navrženém formalismu a vyhlášen výzkumný program formální fuzzy matematiky. (cs)
|
| Title
| - From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto
- From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto (en)
- Od fuzzy logiky k fuzzy matematice: metodologický manifest (cs)
|
| skos:prefLabel
| - From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto
- From Fuzzy Logic to Fuzzy Mathematics: A Methodological Manifesto (en)
- Od fuzzy logiky k fuzzy matematice: metodologický manifest (cs)
|
| skos:notation
| - RIV/67985807:_____/06:00405623!RIV07-AV0-67985807
|
| http://linked.open.../vavai/riv/strany
| |
| http://linked.open...avai/riv/aktivita
| |
| http://linked.open...avai/riv/aktivity
| - P(KJB100300502), Z(AV0Z10300504)
|
| http://linked.open...iv/cisloPeriodika
| |
| http://linked.open...vai/riv/dodaniDat
| |
| http://linked.open...aciTvurceVysledku
| |
| http://linked.open.../riv/druhVysledku
| |
| http://linked.open...iv/duvernostUdaju
| |
| http://linked.open...titaPredkladatele
| |
| http://linked.open...dnocenehoVysledku
| |
| http://linked.open...ai/riv/idVysledku
| - RIV/67985807:_____/06:00405623
|
| http://linked.open...riv/jazykVysledku
| |
| http://linked.open.../riv/klicovaSlova
| - non-classical logics; formal fuzzy logic; formal fuzzy mathematics; high-order fuzzy logic (en)
|
| http://linked.open.../riv/klicoveSlovo
| |
| http://linked.open...odStatuVydavatele
| |
| http://linked.open...ontrolniKodProRIV
| |
| http://linked.open...i/riv/nazevZdroje
| |
| http://linked.open...in/vavai/riv/obor
| |
| http://linked.open...ichTvurcuVysledku
| |
| http://linked.open...cetTvurcuVysledku
| |
| http://linked.open...vavai/riv/projekt
| |
| http://linked.open...UplatneniVysledku
| |
| http://linked.open...v/svazekPeriodika
| |
| http://linked.open...iv/tvurceVysledku
| - Běhounek, Libor
- Cintula, Petr
|
| http://linked.open...n/vavai/riv/zamer
| |
| issn
| |
| number of pages
| |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)