This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n6http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14210%2F10%3A00052348%21RIV12-MSM-14210___/
n4http://localhost/temp/predkladatel/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14210%2F10%3A00052348%21RIV12-MSM-14210___
rdf:type
skos:Concept n16:Vysledek
dcterms: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 second part of the paper. 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.
dcterms:title
On Partiality and Tichý's Transparent Intensional Logic On Partiality and Tichý's Transparent Intensional Logic
skos:prefLabel
On Partiality and Tichý's Transparent Intensional Logic On Partiality and Tichý's Transparent Intensional Logic
skos:notation
RIV/00216224:14210/10:00052348!RIV12-MSM-14210___
n3:aktivita
n5:S
n3:aktivity
S
n3:cisloPeriodika
4
n3:dodaniDat
n10:2012
n3:domaciTvurceVysledku
n9:9292837
n3:druhVysledku
n17:J
n3:duvernostUdaju
n15:S
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
276765
n3:idVysledku
RIV/00216224:14210/10:00052348
n3:jazykVysledku
n14:eng
n3:klicovaSlova
partiality; truth-value gaps; transparent intensional logic
n3:klicoveSlovo
n13:transparent%20intensional%20logic n13:truth-value%20gaps n13:partiality
n3:kodStatuVydavatele
HU - Maďarsko
n3:kontrolniKodProRIV
[23E82CB3D51D]
n3:nazevZdroje
Hungarian Philosophical Review
n3:obor
n12:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n10:2010
n3:svazekPeriodika
54
n3:tvurceVysledku
Raclavský, Jiří
s:issn
0025-0090
s:numberOfPages
9
n4:organizacniJednotka
14210