Classical Negation and Expansions of Belnap–Dunn Logic

Zitieren

Dateien zu dieser Ressource

Prüfsumme: 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="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/31002"> <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="https://kops.uni-konstanz.de/bitstream/123456789/31002/3/De_0-290199.pdf"/> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31002"/> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">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="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dcterms:issued>2015</dcterms:issued> <dc:creator>Omori, Hitoshi</dc:creator> <dc:language>eng</dc:language> <dcterms:title>Classical Negation and Expansions of Belnap–Dunn Logic</dcterms:title> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-21T08:19:06Z</dc:date> <dc:creator>De, Michael</dc:creator> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/31002/3/De_0-290199.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dcterms:rights rdf:resource="http://nbn-resolving.de/urn:nbn:de:bsz:352-20150305140228786-3747162-5"/> <dc:contributor>De, Michael</dc:contributor> </rdf:Description> </rdf:RDF>

Dateiabrufe seit 21.05.2015 (Informationen über die Zugriffsstatistik)

De_0-290199.pdf 47

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto