O aritmetice v Cantor-Lukasiewiczove fuzzy teorii množin

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F05%3A00405539" target="_blank" >RIV/67985807:_____/05:00405539 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory
Popis výsledku v původním jazyce
Axiomatic set theory with full comprehension is known to be consistent in Lukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.
Název v anglickém jazyce
On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory
Popis výsledku anglicky
Axiomatic set theory with full comprehension is known to be consistent in Lukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
<a href="/cs/project/IAA1030004" target="_blank" >IAA1030004: Matematické základy inference s vágností a nejistotou</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2005
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Popis výsledku