More on empirical negation

Zitieren

Dateien zu dieser Ressource

Dateien Größe Format Anzeige

Zu diesem Dokument gibt es keine Dateien.

DE, Michael, Hitoshi OMORI, 2014. More on empirical negation. In: GORÉ, Rajeev, ed. and others. Advances in Modal Logic, vol. 10. College Publications, pp. 114-133. ISBN 978-1-84890-151-3

@incollection{De2014empir-31450, title={More on empirical negation}, year={2014}, isbn={978-1-84890-151-3}, publisher={College Publications}, booktitle={Advances in Modal Logic, vol. 10}, pages={114--133}, editor={Goré, Rajeev}, author={De, Michael and Omori, Hitoshi} }

<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/rdf/resource/123456789/31450"> <dc:contributor>Omori, Hitoshi</dc:contributor> <dcterms:issued>2014</dcterms:issued> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-07-16T15:24:53Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:title>More on empirical negation</dcterms:title> <dc:creator>Omori, Hitoshi</dc:creator> <dc:creator>De, Michael</dc:creator> <dc:language>eng</dc:language> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31450"/> <dcterms:abstract xml:lang="eng">Intuitionism can be seen as a verificationism restricted to mathematical discourse. An attempt to generalize intuitionism to empirical discourse presents various challenges. One of those concerns the logical and semantical behavior of what has been called 'empirical negation'. An extension of intuitionistic logic with empirical negation was given by Michael De and a labelled tableaux system was there shown sound and complete. However, a Hilbert-style axiom system that is sound and complete was missing. In this paper we provide the missing axiom system which is shown sound and complete with respect to its intended semantics. Along the way we consider some further applications of empirical negation.</dcterms:abstract> <dc:contributor>De, Michael</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-07-16T15:24:53Z</dc:date> </rdf:Description> </rdf:RDF>

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto