De Morgan-Płonka sums
Abstract
This paper develops De Morgan-Płonka sums, which generalise Płonka sums to contexts in which negation is not topically transparent but still respects De Morgan duality. We give a general theory of De Morgan-Płonka sums, on the model of the general theory of Płonka sums. Additionally, we describe free De Morgan-Płonka sums and apply our construction to give an algebraic proof of completeness for Kit Fine’s truthmaker semantics for Angell’s logic of analytic containment.
Citation
Randriamahazaka , T 2024 , ' De Morgan-Płonka sums ' , Studia Logica . https://doi.org/10.1007/s11225-024-10111-7
Publication
Studia Logica
Status
Peer reviewed
ISSN
0039-3215Type
Journal article
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.