@prefix epid: .
@prefix dc: .
@prefix geo: .
@prefix bibo: .
@prefix epx: .
@prefix owl: .
@prefix void: .
@prefix event: .
@prefix skos: .
@prefix xsd: .
@prefix cc: .
@prefix ep: .
@prefix foaf: .
@prefix rdf: .
@prefix rdfs: .
@prefix eprel: .
@prefix dct: .
<>
foaf:primaryTopic ;
rdfs:comment "The repository administrator has not yet configured an RDF license."^^xsd:string .
rdfs:label "A_Speech_Act_Calculus.pdf"^^xsd:string .
rdfs:label "preview.jpg"^^xsd:string .
rdfs:label "indexcodes.txt"^^xsd:string .
dc:format "text/html";
dc:title "HTML Summary of #7596 \n\nA Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory\n\n";
foaf:primaryTopic .
cc:license ;
dct:hasPart ;
ep:hasFile ;
eprel:hasIndexCodesVersion ;
eprel:hasVersion ,
;
eprel:hasVolatileVersion ,
;
eprel:haspreviewThumbnailVersion ;
rdf:type bibo:Document,
ep:Document;
rdfs:label "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory (PDF)"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
eprel:ispreviewThumbnailVersionOf ;
rdf:type ep:Document;
rdfs:label "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory (Image (JPEG))"^^xsd:string .
dct:hasPart ;
ep:hasFile ;
eprel:isIndexCodesVersionOf ;
eprel:isVersionOf ;
eprel:isVolatileVersionOf ;
rdf:type ep:Document;
rdfs:label "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory (Indexer Terms)"^^xsd:string .
rdf:_1 ;
rdf:_2 .
bibo:abstract "Building on the work of Peter Hinst and Geo Siegwart, we develop a pragmatised natural deduction calculus, i.e. a natural deduction calculus that incorporates illocutionary operators at the formal level, and prove its adequacy. "^^xsd:string;
bibo:authorList ;
bibo:status ,
;
dct:creator ,
;
dct:date "2011-07-18";
dct:isPartOf ;
dct:subject ;
dct:title "A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory"^^xsd:string;
ep:hasDocument ,
,
;
rdf:type bibo:Article,
ep:EPrint,
ep:OtherEPrint;
rdfs:seeAlso .
rdf:type skos:Concept;
skos:prefLabel "Logic" .
foaf:familyName "Reinmuth"^^xsd:string;
foaf:givenName "Friedrich"^^xsd:string;
foaf:name "Friedrich Reinmuth"^^xsd:string;
rdf:type foaf:Person .
foaf:familyName "Cordes"^^xsd:string;
foaf:givenName "Moritz"^^xsd:string;
foaf:name "Moritz Cordes"^^xsd:string;
rdf:type foaf:Person .