This HTML5 document contains 29 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/
n10http://localhost/temp/predkladatel/
n7http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n9http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14210%2F13%3A00068415%21RIV14-MSM-14210___/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n15http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n13http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14210%2F13%3A00068415%21RIV14-MSM-14210___
rdf:type
skos:Concept n14:Vysledek
dcterms:description
The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic - two kinds of functions, type theory, deduction, and its essential applications, esp. in the philosophy of language. The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic - two kinds of functions, type theory, deduction, and its essential applications, esp. in the philosophy of language.
dcterms:title
An Introduction to Transparent Intensional Logic An Introduction to Transparent Intensional Logic
skos:prefLabel
An Introduction to Transparent Intensional Logic An Introduction to Transparent Intensional Logic
skos:notation
RIV/00216224:14210/13:00068415!RIV14-MSM-14210___
n14:predkladatel
n16:orjk%3A14210
n3:aktivita
n17:S
n3:aktivity
S
n3:dodaniDat
n13:2014
n3:domaciTvurceVysledku
n7:9292837
n3:druhVysledku
n15:O
n3:duvernostUdaju
n8:S
n3:entitaPredkladatele
n9:predkladatel
n3:idSjednocenehoVysledku
60392
n3:idVysledku
RIV/00216224:14210/13:00068415
n3:jazykVysledku
n11:eng
n3:klicovaSlova
Transparent Intensional Logic
n3:klicoveSlovo
n12:Transparent%20Intensional%20Logic
n3:kontrolniKodProRIV
[0E824D38CE38]
n3:obor
n4:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n13:2013
n3:tvurceVysledku
Raclavský, Jiří
n10:organizacniJednotka
14210