On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory

Result code in IS VaVaI

RIV/67985807:_____/05:00405539 - isvavai.cz

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_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

IAA1030004: Mathematical foundations of inference under vagueness and uncertainty

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
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ů

Name of the periodical

Archive for Mathematical Logic

ISSN

0933-5846

e-ISSN

—

Volume of the periodical

44

Issue of the periodical within the volume

-

Country of publishing house

DE - GERMANY

Number of pages

20

Pages from-to

763-782

UT code for WoS article

—

EID of the result in the Scopus database

—