On the internal logic of regular categories
DSpace/Manakin Repository
On the internal logic of regular categories
Koopman, T.J.
(2019) Faculty of Science Theses
(Bachelor thesis)
Abstract
We define a way to model regular logic in regular categories. We prove an analogue to the soundness theorem and state an analogue to the completeness theorem.
show less
Download/Full Text
Open Access version via Utrecht University Repository
Keywords: logic, category theory, model theory
See
more statistics
about this item