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.
On the internal logic of regular categories
DSpace/Manakin Repository
On the internal logic of regular categories
(2019) Faculty of Science Theses
(Bachelor thesis)
Download/Full Text
Keywords: logic, category theory, model theory
See more statistics about this item