Classical Negation and Expansions of Belnap–Dunn Logic

Cite This

Files in this item

Checksum: MD5:8bad66029953a03931669c853f5d8f08

DE, Michael, Hitoshi OMORI, 2015. Classical Negation and Expansions of Belnap–Dunn Logic. In: Studia Logica. 103(4), pp. 825-851. ISSN 0039-3215. eISSN 1572-8730. Available under: doi: 10.1007/s11225-014-9595-7

@article{De2015Class-31002, title={Classical Negation and Expansions of Belnap–Dunn Logic}, year={2015}, doi={10.1007/s11225-014-9595-7}, number={4}, volume={103}, issn={0039-3215}, journal={Studia Logica}, pages={825--851}, 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=""> <dcterms:abstract xml:lang="eng">It is known that classical negation can be recovered in some systems of non-classical logics, such as paraconsistent logic and many-valued logic. However, the notion of classical negation needs to be examined carefully. Indeed, it is often thought that classical negation can be defined uniquely. This kind of arguments usually relies on a proof-theoretic viewpoint. But, in fact, from a semantic viewpoint, the definition of classical negation is not so straightforward as we might expect. We provide such an example by considering some expansions of FDE, and present some results which give us a new insight on the notion of classical negation in systems of non-classical logic.</dcterms:abstract> <dcterms:hasPart rdf:resource=""/> <bibo:uri rdf:resource=""/> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:available rdf:datatype="">2015-05-21T08:19:06Z</dcterms:available> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:contributor>Omori, Hitoshi</dc:contributor> <dcterms:isPartOf rdf:resource=""/> <dcterms:issued>2015</dcterms:issued> <dc:creator>Omori, Hitoshi</dc:creator> <dc:rights>terms-of-use</dc:rights> <dc:language>eng</dc:language> <dcterms:title>Classical Negation and Expansions of Belnap–Dunn Logic</dcterms:title> <dc:date rdf:datatype="">2015-05-21T08:19:06Z</dc:date> <dc:creator>De, Michael</dc:creator> <dspace:hasBitstream rdf:resource=""/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>De, Michael</dc:contributor> <dcterms:rights rdf:resource=""/> </rdf:Description> </rdf:RDF>

Downloads since May 21, 2015 (Information about access statistics)

De_0-290199.pdf 240

This item appears in the following Collection(s)

Search KOPS


My Account