Abstract
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.
Publisher
Springer Science and Business Media LLC
Reference19 articles.
1. Angell, R.B., Deducibility, Entailment and Analytic Containment, in J. Norman, and R. Sylvan, (eds.), Directions in Relevant Logic, Springer, 1989, pp. 119–143.
2. Berto, F., Topics of Thought: The Logic of Knowledge, Belief, Imagination, Oxford University Press, 2022.
3. Berto, F., and D. Nolan, Hyperintensionality, in E. N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy (Summer 2021 ed.), Metaphysics Research Lab, Stanford University, 2021; https://plato.stanford.edu/archives/sum2021/ entries/hyperintensionality/.
4. Bonzio, S., J. Gil-Férez, F. Paoli, and L. Peruzzi, On paraconsistent Weak Kleene logic: axiomatisation and algebraic analysis, Studia Logica 105(2):253–297, 2017.
5. Bonzio, S., F. Paoli, and M. Pra Baldi, Logics of Variable Inclusion, vol. 59 of Trends in Logic, Springer, 2022.