Scifaro

中文

关于命题逻辑及 Institution 与{\Pi}-Institution 之间范畴关系的备注

逻辑 2016-11-08 v1 计算机科学中的逻辑

作者: Darllan Conceição Pinto , Hugo Luiz Mariano

在 arXiv 上查看 ↗ PDF ↗

摘要

在本工作中，我们探索了 Institution 和{\Pi}-Institution 概念在命题逻辑背景下的一些应用，并建立了这些概念之间精确的范畴关系，即我们提供了一对函子，它们在范畴 Inst 和{\Pi}-Inst 之间建立了伴随关系。

关键词

命题逻辑 Institution {\Pi}-Institution 范畴论伴随关系函子

引用

@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}
}