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

@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:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dcterms="http://purl.org/dc/terms/" 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> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/31002"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-21T08:19:06Z</dcterms:available> <dc:contributor>Omori, Hitoshi</dc:contributor> <dcterms:issued>2015</dcterms:issued> <dc:creator>Omori, Hitoshi</dc:creator> <dc:language>eng</dc:language> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2015-05-21T08:19:06Z</dc:date> <dc:creator>De, Michael</dc:creator> <dcterms:title>Classical Negation and Expansions of Belnap–Dunn Logic</dcterms:title> <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 43

Das Dokument erscheint in:

KOPS Suche


Stöbern

Mein Benutzerkonto