On Partiality and Tichý's Transparent Intensional Logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F10%3A00052348" target="_blank" >RIV/00216224:14210/10:00052348 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

On Partiality and Tichý's Transparent Intensional Logic

Original language description

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 secondpart of the paper.

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

—

Continuities

S - Specificky vyzkum na vysokych skolach

Publication year

2010

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Hungarian Philosophical Review

ISSN

0025-0090

e-ISSN

—

Volume of the periodical

54

Issue of the periodical within the volume

4

Country of publishing house

HU - HUNGARY

Number of pages

9

Pages from-to

120-128

UT code for WoS article

—

EID of the result in the Scopus database

—