Počet záznamů: 1
On White’s Expansion of Lukasiewicz Logic
- 1.0345010 - ÚI 2011 RIV GB eng J - Článek v odborném periodiku
Hájek, Petr
On White’s Expansion of Lukasiewicz Logic.
Journal of Logic and Computation. Roč. 20, č. 2 (2010), s. 389-397. ISSN 0955-792X. E-ISSN 1465-363X
Grant CEP: GA ČR GEICC/08/E018
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: Lukasiewicz fuzzy logic * Cantor-Lukasiewicz set theory * full comprehension
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.586, rok: 2010
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.
Trvalý link: http://hdl.handle.net/11104/0186391
Počet záznamů: 1