Počet záznamů: 1
Towards a Formal Theory of Fuzzy Dedekind Reals
- 1.0405562 - UIVT-O 330942 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Běhounek, Libor
Towards a Formal Theory of Fuzzy Dedekind Reals.
[Předběžný nástin formální teorie dedekindovských fuzzy reálných čísel.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 949-954. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
Grant CEP: GA AV ČR KJB100300502
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy Dedekind completion * fuzzy real numbers * high-order fuzzy logic
Kód oboru RIV: BA - Obecná matematika
In the framework of Henkin style higher-order fuzzy logic LPi-omega we construct fuzzy real numbers as fuzzy Dedekind cuts over crisp rationals, and show some of their properties provable in LPi-omega. The definitions of algebraic operations and fuzzy intervals are sketched.
V rámci henkinovské fuzzy logiky vyššího řádu LPi-omega konstruujeme fuzzy reálná čísla jako fuzzy dedekindovské řezy nad ostrými racionálními čísly a ukazujeme některé jejich vlastnosti dokazatelné v LPi-omega. Naznačeny jsou definice algebraických operací a teorie fuzzy intervalů.
Trvalý link: http://hdl.handle.net/11104/0125717
Počet záznamů: 1