摘要

剩余代数是剩余群的推广;它不是一个带有剩余操作的基本二进制操作,而是允许有限多个基本操作,每个操作n个-ary基本操作与n个剩余操作。例如,研究了RA的逻辑系统[6,8,15,16]名称为:广义Lambek微积分德国劳埃德船级社在本文中,我们进行了研究德国劳埃德船级社及其以序列系统形式的扩展。我们证明了一个插值性质,它允许用可证明序列中的单个公式替换前件结构的子结构。以及基于核的模型构造[13]插值可以证明不同类型的RAs的有限嵌入性,例如所有RAs、分配格序RAs、布尔RAs、Heyting RAs和双RAs。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。