On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory
Original language description
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.
Czech name
O aritmetice v Cantor-Lukasiewiczove fuzzy teorii množin
Czech description
Je známo, že axiomatická teorie množin je bezesporná v Lukasiewiczove fuzzy predikátové logice. Ale nemůžeme předpokládat existenci přirozených čísel splňujících přirozené schéma indukce; takové rozšíření je sporné.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/IAA1030004" target="_blank" >IAA1030004: Mathematical foundations of inference under vagueness and uncertainty</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Result description