On a coalgebraic view on Logic
Logic
2012-02-07 v1 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1202.0915,
title = {On a coalgebraic view on Logic},
author = {Dirk Hofmann and Manuel A. Martins},
journal= {arXiv preprint arXiv:1202.0915},
year = {2012}
}