Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F13%3A00350422" target="_blank" >RIV/67985807:_____/13:00350422 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1093/jigpal/jzs014" target="_blank" >http://dx.doi.org/10.1093/jigpal/jzs014</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1093/jigpal/jzs014" target="_blank" >10.1093/jigpal/jzs014</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory

Popis výsledku v původním jazyce

Lukasiewicz predicate logic with its standard and its general semantics is denoted by Ł. Over this logic, we study the set theory CŁ0 with full comprehension (but without extensionality; adding it would trivialize the theory, as proved by Grishin). A proof of consistency of CŁ0 was published by White, but his proof was criticized as having a gap. Here Section 1 analyses the problem of consistency of CŁ0. In Section 2, I discuss the problem of omega-inconsistency of the CŁ0 (with its general semantics) using ideas of Yatabe. Section 3 presents some construction of crisp sets in this theory.

Název v anglickém jazyce

Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory

Popis výsledku anglicky

Lukasiewicz predicate logic with its standard and its general semantics is denoted by Ł. Over this logic, we study the set theory CŁ0 with full comprehension (but without extensionality; adding it would trivialize the theory, as proved by Grishin). A proof of consistency of CŁ0 was published by White, but his proof was criticized as having a gap. Here Section 1 analyses the problem of consistency of CŁ0. In Section 2, I discuss the problem of omega-inconsistency of the CŁ0 (with its general semantics) using ideas of Yatabe. Section 3 presents some construction of crisp sets in this theory.

Druh

J_x - 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/GAP202%2F10%2F1826" target="_blank" >GAP202/10/1826: Matematická fuzzy logika v informatice</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2013

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ů

Název periodika

Logic Journal of the IGPL

ISSN

1367-0751

e-ISSN

—

Svazek periodika

21

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

4

Strana od-do

183-186

Kód UT WoS článku

000316295100003

EID výsledku v databázi Scopus

—