Search results
- 1.0345010 - ÚI 2011 RIV GB eng J - Journal Article
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
R&D Projects: GA ČR GEICC/08/E018
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz fuzzy logic * Cantor-Lukasiewicz set theory * full comprehension
Subject RIV: BA - General Mathematics
Impact factor: 0.586, year: 2010
Permanent Link: http://hdl.handle.net/11104/0186391 - 2.0343863 - ÚI 2013 RIV GB eng J - Journal Article
Hájek, Petr
On Equality and Natural Numbers in Cantor-Lukasiewicz Set Theory.
Logic Journal of the IGPL. Roč. 21, č. 1 (2013), s. 91-100. ISSN 1367-0751. E-ISSN 1368-9894
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz logic * Cantor set theory * full comprehension
Subject RIV: BA - General Mathematics
Impact factor: 0.530, year: 2013
Permanent Link: http://hdl.handle.net/11104/0186240