Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorRandriamahazaka, Thomas
dc.date.accessioned2024-05-21T15:30:08Z
dc.date.available2024-05-21T15:30:08Z
dc.date.issued2024-05-21
dc.identifier301035160
dc.identifier71b036d9-6058-41cd-a67f-81708e08dfa2
dc.identifier85193727498
dc.identifier.citationRandriamahazaka , T 2024 , ' De Morgan-Płonka sums ' , Studia Logica . https://doi.org/10.1007/s11225-024-10111-7en
dc.identifier.issn0039-3215
dc.identifier.urihttps://hdl.handle.net/10023/29914
dc.description.abstractThis 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.
dc.format.extent29
dc.format.extent436331
dc.language.isoeng
dc.relation.ispartofStudia Logicaen
dc.subjectPlonka sumsen
dc.subjectDe Morgan dualityen
dc.subjectNonclassical logicsen
dc.subjectAlgebraic logicen
dc.subjectTruth-maker semanticsen
dc.subjectBC Logicen
dc.subjectT-NDASen
dc.subjectNISen
dc.subject.lccBCen
dc.titleDe Morgan-Płonka sumsen
dc.typeJournal articleen
dc.contributor.institutionUniversity of St Andrews. Philosophyen
dc.identifier.doi10.1007/s11225-024-10111-7
dc.description.statusPeer revieweden


This item appears in the following Collection(s)

Show simple item record