格里高·罗什乌 满足作为注入性的完全分类演绎。 （英语） Zbl 1132.03356号 Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060157-172（2006）。 摘要：Birkhoff（准）变分范畴公理化结果以其优雅、简单和通用性吸引了许多科学家。导致其通用性的关键因素是，无论是否有条件，方程都可以被视为特殊类别中的特殊形态或箭头，其中它们的满足成为内射性，这是一个简单而抽象的范畴概念。下一步自然而富有挑战性的工作是在同一个通用而优雅的框架内研究完全演绎。我们提出了一个等式的范畴演绎系统，如箭头所示，并表明在适当的有限性要求下，它作为内射性是完全满足的。对我们的结果进行简单的实例化可以得到几个方程逻辑的完整推导，与使用常数定理和演绎定理的典型方法不同，在这些逻辑中，条件方程也可以在不增加成本的情况下导出。据我们所知，这是方程逻辑的一个新结果。关于整个系列，请参见[Zbl 1113.68005号]. 引用于1文件 MSC公司： 03G30型 范畴逻辑，拓扑 03C05号机组 模型理论中的方程类、泛代数 08C05号机组 代数的范畴 软件：OBJ3型;咖啡馆OBJ;莫德;ELAN公司 PDF格式BibTeX公司 XML格式引用 \textit{G.Rošu}，莱克特。注释计算。科学。4060157--172（2006年；Zbl 1132.03356） 全文： DOI程序