Other formats:
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, 2010, vol.~54, No~4, p.~120-128. ISSN~0025-0090.
|
