<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/7134> .
<http://cogprints.org/id/eprint/7134> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/terms/title> "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/ontology/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. "^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/terms/date> "2010-10-26" .
<http://cogprints.org/id/document/12550> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/nonPeerReviewed> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/unpublished> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/terms/creator> <http://cogprints.org/id/person/ext-moe4284@gmx.de> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/ontology/bibo/authorList> <http://cogprints.org/id/eprint/7134#authors> .
<http://cogprints.org/id/eprint/7134#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <http://cogprints.org/id/person/ext-moe4284@gmx.de> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/terms/creator> <http://cogprints.org/id/person/ext-Friedrich.Reinmuth@web.de> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/ontology/bibo/authorList> <http://cogprints.org/id/eprint/7134#authors> .
<http://cogprints.org/id/eprint/7134#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <http://cogprints.org/id/person/ext-Friedrich.Reinmuth@web.de> .
<http://cogprints.org/id/person/ext-Friedrich.Reinmuth@web.de> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://cogprints.org/id/person/ext-Friedrich.Reinmuth@web.de> <http://xmlns.com/foaf/0.1/givenName> "Friedrich"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-Friedrich.Reinmuth@web.de> <http://xmlns.com/foaf/0.1/familyName> "Reinmuth"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-Friedrich.Reinmuth@web.de> <http://xmlns.com/foaf/0.1/name> "Friedrich Reinmuth"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-moe4284@gmx.de> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<http://cogprints.org/id/person/ext-moe4284@gmx.de> <http://xmlns.com/foaf/0.1/givenName> "Moritz"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-moe4284@gmx.de> <http://xmlns.com/foaf/0.1/familyName> "Cordes"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/person/ext-moe4284@gmx.de> <http://xmlns.com/foaf/0.1/name> "Moritz Cordes"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<http://cogprints.org/id/eprint/7134> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/OtherEPrint> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/terms/isPartOf> <http://cogprints.org/id/repository> .
<http://cogprints.org/id/eprint/7134> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12550> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/12550> <http://www.w3.org/2000/01/rdf-schema#label> "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/elements/1.1/hasVersion> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/eprint/7134> <http://eprints.org/ontology/hasDraft> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12550> <http://eprints.org/relation/hasVolatileVersion> <http://cogprints.org/id/document/12551> .
<http://cogprints.org/id/document/12550> <http://eprints.org/relation/hasVersion> <http://cogprints.org/id/document/12551> .
<http://cogprints.org/id/document/12550> <http://eprints.org/relation/haspreviewThumbnailVersion> <http://cogprints.org/id/document/12551> .
<http://cogprints.org/id/document/12550> <http://eprints.org/relation/hasVolatileVersion> <http://cogprints.org/id/document/12552> .
<http://cogprints.org/id/document/12550> <http://eprints.org/relation/hasVersion> <http://cogprints.org/id/document/12552> .
<http://cogprints.org/id/document/12550> <http://eprints.org/relation/hasIndexCodesVersion> <http://cogprints.org/id/document/12552> .
<http://cogprints.org/id/document/12550> <http://creativecommons.org/ns#license> <http://creativecommons.org/licenses/by-nc-nd/3.0/> .
<http://cogprints.org/id/document/12550> <http://eprints.org/ontology/hasFile> <http://cogprints.org/7134/4/Ein_Redehandlungskalk%C3%BCl.pdf> .
<http://cogprints.org/id/document/12550> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/7134/4/Ein_Redehandlungskalk%C3%BCl.pdf> .
<http://cogprints.org/7134/4/Ein_Redehandlungskalk%C3%BCl.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Ein_Redehandlungskalkül.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/12551> .
<http://cogprints.org/id/document/12551> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/12551> <http://www.w3.org/2000/01/rdf-schema#label> "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie (Image (JPEG))"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/12551> <http://eprints.org/relation/isVersionOf> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12551> <http://eprints.org/relation/isVolatileVersionOf> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12551> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12551> <http://eprints.org/ontology/hasFile> <http://cogprints.org/7134/5/preview.jpg> .
<http://cogprints.org/id/document/12551> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/7134/5/preview.jpg> .
<http://cogprints.org/7134/5/preview.jpg> <http://www.w3.org/2000/01/rdf-schema#label> "preview.jpg"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://eprints.org/ontology/hasDocument> <http://cogprints.org/id/document/12552> .
<http://cogprints.org/id/document/12552> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<http://cogprints.org/id/document/12552> <http://www.w3.org/2000/01/rdf-schema#label> "Ein Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie (Indexer Terms)"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/document/12552> <http://eprints.org/relation/isVersionOf> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12552> <http://eprints.org/relation/isVolatileVersionOf> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12552> <http://eprints.org/relation/isIndexCodesVersionOf> <http://cogprints.org/id/document/12550> .
<http://cogprints.org/id/document/12552> <http://eprints.org/ontology/hasFile> <http://cogprints.org/7134/6/indexcodes.txt> .
<http://cogprints.org/id/document/12552> <http://purl.org/dc/terms/hasPart> <http://cogprints.org/7134/6/indexcodes.txt> .
<http://cogprints.org/7134/6/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<http://cogprints.org/id/eprint/7134> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <http://cogprints.org/7134/> .
<http://cogprints.org/7134/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #7134 \n\nEin Redehandlungskalkül. Ein pragmatisierter Kalkül des natürlichen Schließens nebst Metatheorie\n\n" .
<http://cogprints.org/7134/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<http://cogprints.org/7134/> <http://xmlns.com/foaf/0.1/primaryTopic> <http://cogprints.org/id/eprint/7134> .
<http://cogprints.org/id/subject/phil-logic> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<http://cogprints.org/id/subject/phil-logic> <http://www.w3.org/2004/02/skos/core#prefLabel> "Logic" .
<http://cogprints.org/id/eprint/7134> <http://purl.org/dc/terms/subject> <http://cogprints.org/id/subject/phil-logic> .
<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>