arxiv: 1202.0915 · v1 · pith:ZWPPGYIWnew · submitted 2012-02-04 · 🧮 math.LO · cs.LO

On a coalgebraic view on Logic

Dirk Hofmann , Manuel A. Martins This is my paper

classification 🧮 math.LO cs.LO

keywords logiccoalgebraicviewapplycategorycentralconsequenceingredient

0 comments p. Extension

Add this Pith Number to your LaTeX paper

\usepackage{pith}
\pithnumber{ZWPPGYIW}

Prints a linked pith:ZWPPGYIW badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

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.

On a coalgebraic view on Logic

discussion (0)