Number of the records: 1

Some (Non)Tautologies of Lukasiewicz and Product Logic

SYSNO	0343867
Title	Some (Non)Tautologies of Lukasiewicz and Product Logic
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278. - : Cambridge University Press
Document Type	Článek v odborném periodiku
Grant	1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Language	eng
Country	GB
Keywords	Lukasiewicz logic * product logic * tautology * (non)tautology
Permanent Link	http://hdl.handle.net/11104/0186242

Number of the records: 1