More on empirical negation

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

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}, url={}, 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="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dc:contributor>Omori, Hitoshi</dc:contributor> <dcterms:issued>2014</dcterms:issued> <dspace:isPartOfCollection rdf:resource=""/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:available rdf:datatype="">2015-07-16T15:24:53Z</dcterms:available> <dcterms:isPartOf rdf:resource=""/> <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=""/> <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="">2015-07-16T15:24:53Z</dc:date> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


My Account