Další formáty:
BibTeX
LaTeX
RIS
@article{939421, author = {Raclavský, Jiří}, article_location = {Budapest}, article_number = {4}, keywords = {partiality; truth-value gaps; transparent intensional logic}, language = {eng}, issn = {0025-0090}, journal = {Hungarian Philosophical Review}, title = {On Partiality and Tichý's Transparent Intensional Logic}, volume = {54}, year = {2010} }
TY - JOUR ID - 939421 AU - Raclavský, Jiří PY - 2010 TI - On Partiality and Tichý's Transparent Intensional Logic JF - Hungarian Philosophical Review VL - 54 IS - 4 SP - 120-128 EP - 120-128 PB - A Magyar Tudományos Akadémia SN - 00250090 KW - partiality KW - truth-value gaps KW - transparent intensional logic N2 - The paper focuses on treating of partiality within Tichý's logical system. Tichý's logic is two valued and type-theoretic. Tichý's simple theory of types (and the deduction system designed for it) accepts both total and partial functions. Tichý's late framework is explicitly ramified. So-called constructions (roughly: algorithms) construct, e.g., values of functions at arguments; in some cases, however, they do not construct anything at all. This special partiality phenomenon is discussed in the second part of the paper. ER -
RACLAVSKÝ, Jiří. On Partiality and Tichý's Transparent Intensional Logic. \textit{Hungarian Philosophical Review}. Budapest: A Magyar Tudományos Akadémia, roč.~54, č.~4, s.~120-128. ISSN~0025-0090. 2010.
|