This HTML5 document contains 42 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/
n21http://localhost/temp/predkladatel/
n19http://purl.org/net/nknouf/ns/bibtex#
n11http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n15http://linked.opendata.cz/resource/domain/vavai/subjekt/
n14http://linked.opendata.cz/ontology/domain/vavai/
n16https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n17http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F61989100%3A27240%2F12%3A86087811%21RIV14-MSM-27240___/
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n20http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F61989100%3A27240%2F12%3A86087811%21RIV14-MSM-27240___
rdf:type
n14:Vysledek skos:Concept
dcterms:description
In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The availability of an extensional logic of hyperintensions defies the received view that an intensional (let alone hyperintensional) logic is one that fails to validate transparency, compositionality, and quantifying-in. The main features of our logic are that the senses and denotations of (non-indexical) terms and expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order. The syntax of TIL is the typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The only two non-standard features are a hyperintension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hyperintensions. In this paper I describe an extensional logic of hyperintensions, viz. Tichý's Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The availability of an extensional logic of hyperintensions defies the received view that an intensional (let alone hyperintensional) logic is one that fails to validate transparency, compositionality, and quantifying-in. The main features of our logic are that the senses and denotations of (non-indexical) terms and expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order. The syntax of TIL is the typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The only two non-standard features are a hyperintension (called Trivialization) that presents other hyperintensions and a four-place substitution function (called Sub) defined over hyperintensions.
dcterms:title
Extensional logic of hyperintensions Extensional logic of hyperintensions
skos:prefLabel
Extensional logic of hyperintensions Extensional logic of hyperintensions
skos:notation
RIV/61989100:27240/12:86087811!RIV14-MSM-27240___
n14:predkladatel
n15:orjk%3A27240
n3:aktivita
n12:S
n3:aktivity
S
n3:dodaniDat
n8:2014
n3:domaciTvurceVysledku
n11:3439151
n3:druhVysledku
n7:C
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n5:predkladatel
n3:idSjednocenehoVysledku
135918
n3:idVysledku
RIV/61989100:27240/12:86087811
n3:jazykVysledku
n20:eng
n3:klicovaSlova
transparent intensional logic; transparency; ramified type theory; Quantifying-in; extensional/intensional/hyperintensional context; extensional logic of hyperintensions
n3:klicoveSlovo
n4:ramified%20type%20theory n4:extensional%20logic%20of%20hyperintensions n4:extensional%2Fintensional%2Fhyperintensional%20context n4:Quantifying-in n4:transparency n4:transparent%20intensional%20logic
n3:kontrolniKodProRIV
[C17277E6A4E9]
n3:mistoVydani
Berlin
n3:nazevEdiceCisloSvazku
Conceptual Modelling and Its Theoretical Foundations
n3:nazevZdroje
Lecture Notes in Computer Science. Volume 7260
n3:obor
n10:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetStranKnihy
336
n3:pocetTvurcuVysledku
1
n3:rokUplatneniVysledku
n8:2012
n3:tvurceVysledku
Duží, Marie
s:numberOfPages
33
n17:doi
10.1007/978-3-642-28279-9_19
n19:hasPublisher
Springer-Verlag
n16:isbn
978-3-642-28278-2
n21:organizacniJednotka
27240