Počet záznamů: 1
On White’s Expansion of Lukasiewicz Logic
- 1.
SYSNO ASEP 0345010 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název On White’s Expansion of Lukasiewicz Logic Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Journal of Logic and Computation - ISSN 0955-792X
Roč. 20, č. 2 (2010), s. 389-397Poč.str. 9 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova Lukasiewicz fuzzy logic ; Cantor-Lukasiewicz set theory ; full comprehension Vědní obor RIV BA - Obecná matematika CEP GEICC/08/E018 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000276843800001 EID SCOPUS 77950364266 DOI 10.1093/logcom/exp050 Anotace 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 expansion of 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2011
Počet záznamů: 1