Towards a Formal Theory of Fuzzy Dedekind Reals

0405562 - UIVT-O 330942 RIV ES eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy Dedekind completion * fuzzy real numbers * high-order fuzzy logic
Subject RIV: BA - General Mathematics

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ů.
Permanent Link: http://hdl.handle.net/11104/0125717