Negation and Implication in Partition Logic
From MaRDI portal
Publication:6344802
arXiv2007.05192MaRDI QIDQ6344802
Publication date: 10 July 2020
Abstract: The Boolean logic of subsets, usually presented as `propositional logic,' is considered as being "classical" while intuitionistic logic and the many sublogics and off-shoots are "non-classical." But there is another mathematical logic, the logic of partitions, that is at the same mathmatical level as Boolean subset logic since subsets and quotient sets (partitions or equivalence relations) are dual to one another in the category-theoretic sense. Our purpose here is to explore the notions of negation and implication in that other mathematical logic of partitions.
This page was built for publication: Negation and Implication in Partition Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344802)
