This HTML5 document contains 40 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%2F67985955%3A_____%2F10%3A00343030%21RIV11-GA0-67985955/
n16http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/ontology/domain/vavai/
n7http://linked.opendata.cz/resource/domain/vavai/zamer/
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#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n9http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985955%3A_____%2F10%3A00343030%21RIV11-GA0-67985955
rdf:type
skos:Concept n14:Vysledek
dcterms:description
The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones. The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. The aim of this paper is to sort out the cluster of problems besetting logical inferentialism by disentangling and clarifying one of them, namely determining the power of various inferential frameworks as measured by that of explicitly semantic ones.
dcterms:title
Inferentializing Semantics Inferentializing Semantics
skos:prefLabel
Inferentializing Semantics Inferentializing Semantics
skos:notation
RIV/67985955:_____/10:00343030!RIV11-GA0-67985955
n3:aktivita
n8:Z n8:P
n3:aktivity
P(GA401/07/0904), Z(AV0Z90090514)
n3:cisloPeriodika
3
n3:dodaniDat
n9:2011
n3:domaciTvurceVysledku
n12:4538560
n3:druhVysledku
n13:J
n3:duvernostUdaju
n11:S
n3:entitaPredkladatele
n6:predkladatel
n3:idSjednocenehoVysledku
263524
n3:idVysledku
RIV/67985955:_____/10:00343030
n3:jazykVysledku
n15:eng
n3:klicovaSlova
inference; proof theory; model theory; inferentialism; semantics
n3:klicoveSlovo
n4:semantics n4:model%20theory n4:inferentialism n4:proof%20theory n4:inference
n3:kodStatuVydavatele
NL - Nizozemsko
n3:kontrolniKodProRIV
[BD0C8A7D3547]
n3:nazevZdroje
Journal of Philosophical Logic
n3:obor
n18:AA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:projekt
n16:GA401%2F07%2F0904
n3:rokUplatneniVysledku
n9:2010
n3:svazekPeriodika
39
n3:tvurceVysledku
Peregrin, Jaroslav
n3:zamer
n7:AV0Z90090514
s:issn
0022-3611
s:numberOfPages
20