Remarks on Propositional Logics and the categorial relationship between Institutions and {\Pi}-Institutions
Logic
2016-11-08 v1 Logic in Computer Science
Abstract
In this work we explore some applications of the notions of Institution and {\Pi}-Institution in the setting of propositional logics and establish a precise categorial relation between these notions, i.e., we provide a pair of functors that establishes an adjunction between the categories Inst and {\Pi}-Inst.
Keywords
Cite
@article{arxiv.1611.01648,
title = {Remarks on Propositional Logics and the categorial relationship between Institutions and {\Pi}-Institutions},
author = {Darllan Conceição Pinto and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:1611.01648},
year = {2016}
}