On a coalgebraic view on Logic
classification
🧮 math.LO
cs.LO
keywords
logiccoalgebraicviewapplycategorycentralconsequenceingredient
read the original abstract
In this paper we present methods of transition from one perspective on logic to others, and apply this in particular to obtain a coalgebraic presentation of logic. The central ingredient in this process is to view consequence relations as morphisms in a category.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.