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.
Original language | English |
---|---|
Number of pages | 29 |
Journal | Studia Logica |
Early online date | 21 May 2024 |
DOIs | |
Publication status | E-pub ahead of print - 21 May 2024 |
Keywords
- Plonka sums
- De Morgan duality
- Nonclassical logics
- Algebraic logic
- Truth-maker semantics