On White?s Expansion of Lukasiewicz Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F10%3A00345010" target="_blank" >RIV/67985807:_____/10:00345010 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On White?s Expansion of Lukasiewicz Logic

Popis výsledku v původním jazyce

A variant of Lukasiewicz logic defined in a remark in White's 1979 paper on the consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz is studied; it is shown that the logic in question is an interesting expansionof Lukasiewicz logic which deserves further investigation together with its further expansions. Several formulas are proved in it and some model theory is offered. In the Appendix A, it is shown that a set theory with full comprehension over this logic(claimed consistent by White) is contradictory.

Název v anglickém jazyce

On White?s Expansion of Lukasiewicz Logic

Popis výsledku anglicky

A variant of Lukasiewicz logic defined in a remark in White's 1979 paper on the consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz is studied; it is shown that the logic in question is an interesting expansionof Lukasiewicz logic which deserves further investigation together with its further expansions. Several formulas are proved in it and some model theory is offered. In the Appendix A, it is shown that a set theory with full comprehension over this logic(claimed consistent by White) is contradictory.

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/GEICC%2F08%2FE018" target="_blank" >GEICC/08/E018: Logické modely usuzovaní s vagními informacemi</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2010

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

Journal of Logic and Computation

ISSN

0955-792X

e-ISSN

—

Svazek periodika

20

Čí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

9

Strana od-do

—

Kód UT WoS článku

000276843800001

EID výsledku v databázi Scopus

—