Obecný logický formalismus pro fuzzy matematiku: metodologie a aparat

Abstrakt

Článek popisuje autory navržený výzkumný program formálních základů fuzzy matematiky, který má za cíl obsáhnout velkou část současné fuzzy matematiky v rámci obecného logického formalismu. Článek předkládá metodologii tohoto programu a technické detaily aparátu vhodného pro tento účel.

Klíčová slova

• General
• Logical
• Formalism
• Fuzzy
• Mathematics
• Methodology
• Apparatus