Is transparent intensional logic a non-classical logic?

0438522 - FLÚ 2015 RIV PL eng J - Journal Article
Materna, Pavel
Is transparent intensional logic a non-classical logic?
Logic and Logical Philosophy. Roč. 23, č. 1 (2014), s. 47-55. ISSN 1425-3305
Institutional support: RVO:67985955
Keywords : anti-realism * bivalence * classicality * construction * expressivity * extensions * hyperintensionality * intensions * procedure * realism
Subject RIV: AA - Philosophy ; Religion

TIL is classical in obeying principles of realism but it can be considered to be non-classical in transcending some principles of classical logic taught by textbooks of classical logic: e.g. it is not based on first order logic, it admits partial (non-total) functions and is a hyperintensional logic.
Permanent Link: http://hdl.handle.net/11104/0241891