A Bridge Between Q-Worlds

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

DÖRING, Andreas, Benjamin EVA, Masanao OZAWA, 2018. A Bridge Between Q-Worlds. In: The Review of Symbolic Logic. Cambridge University Press. ISSN 1755-0203. eISSN 1755-0211. Available under: doi: 10.1017/S1755020319000492

@article{Doring2018-12-18T21:55:07ZBridg-53570, title={A Bridge Between Q-Worlds}, year={2018}, doi={10.1017/S1755020319000492}, issn={1755-0203}, journal={The Review of Symbolic Logic}, author={Döring, Andreas and Eva, Benjamin and Ozawa, Masanao} }

<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/53570"> <dc:creator>Döring, Andreas</dc:creator> <dc:rights>terms-of-use</dc:rights> <dcterms:title>A Bridge Between Q-Worlds</dcterms:title> <dcterms:abstract xml:lang="eng">Quantum set theory (QST) and topos quantum theory (TQT) are two long running projects in the mathematical foundations of quantum mechanics that share a great deal of conceptual and technical affinity. Most pertinently, both approaches attempt to resolve some of the conceptual difficulties surrounding quantum mechanics by reformulating parts of the theory inside of non-classical mathematical universes, albeit with very different internal logics. We call such mathematical universes, together with those mathematical and logical structures within them that are pertinent to the physical interpretation, `Q-worlds'. Here, we provide a unifying framework that allows us to (i) better understand the relationship between different Q-worlds, and (ii) define a general method for transferring concepts and results between TQT and QST, thereby significantly increasing the expressive power of both approaches. Along the way, we develop a novel connection to paraconsistent logic and introduce a new class of structures that have significant implications for recent work on paraconsistent set theory.</dcterms:abstract> <dcterms:issued>2018-12-18T21:55:07Z</dcterms:issued> <dc:contributor>Ozawa, Masanao</dc:contributor> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:contributor>Eva, Benjamin</dc:contributor> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <dc:creator>Ozawa, Masanao</dc:creator> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/53570"/> <dc:contributor>Döring, Andreas</dc:contributor> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/40"/> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-30T13:21:11Z</dcterms:available> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2021-04-30T13:21:11Z</dc:date> <dc:creator>Eva, Benjamin</dc:creator> <dc:language>eng</dc:language> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account