De Morgan-Płonka sums

Thomas Randriamahazaka*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

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 languageEnglish
Number of pages29
JournalStudia Logica
Early online date21 May 2024
DOIs
Publication statusE-pub ahead of print - 21 May 2024

Keywords

  • Plonka sums
  • De Morgan duality
  • Nonclassical logics
  • Algebraic logic
  • Truth-maker semantics

Fingerprint

Dive into the research topics of 'De Morgan-Płonka sums'. Together they form a unique fingerprint.

Cite this