The intensional side of algebraic-topological representation theorems

Show full item record



Permalink

http://hdl.handle.net/10138/307561

Citation

Negri , S 2017 , ' The intensional side of algebraic-topological representation theorems ' , Synthese , vol. 198 , no. Suppl 5 , pp. 1121-1143 . https://doi.org/10.1007/s11229-017-1331-1

Title: The intensional side of algebraic-topological representation theorems
Author: Negri, Sara
Contributor organization: Mind and Matter
Department of Philosophy, History and Art Studies
Theoretical Philosophy
Faculty Common Matters
Date: 2017
Language: eng
Number of pages: 23
Belongs to series: Synthese
ISSN: 0039-7857
DOI: https://doi.org/10.1007/s11229-017-1331-1
URI: http://hdl.handle.net/10138/307561
Abstract: Stone representation theorems are a central ingredient in the metatheory of philosophical logics and are used to establish modal embedding results in a general but indirect and non-constructive way. Their use in logical embeddings will be reviewed and it will be shown how they can be circumvented in favour of direct and constructive arguments through the methods of analytic proof theory, and how the intensional part of the representation results can be recovered from the syntactic proof of those embeddings. Analytic methods will also be used to establish the embedding of subintuitionistic logics into the corresponding modal logics. Finally, proof-theoretic embeddings will be interpreted as a reduction of classes of word problems.
Subject: 611 Philosophy
Peer reviewed: Yes
Usage restriction: closedAccess


Files in this item

Total number of downloads: Loading...

Files Size Format View
stonint_final.pdf 670.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record