Fregean簇中的统一性和射影性
Unification and projectivity in Fregean varieties
摘要：
在某些代数中，我们可以将寻找最一般的一致子（MGUS）的问题归结为满足称为投射性的附加条件的一致子的存在性问题。在本文中，我们研究这个问题的Fregean（1-正规和有序）品种所产生的代数化片段的直觉或中间逻辑。我们调查性质的Fregean品种，保证无论是一个给定的unifiable长期或所有unifiable长期，投影unifiers存在。我们指出的身份，充分刻画同余置换Fregean簇有投射的统一。特别是，我们表明，对于这样的品种存在最大的子品种，有投射的统一。
英文摘要：
In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition called projectivity. In this paper we study this problem for Fregean (1-regular and orderable) varieties that arise from the algebraization of fragments of intuitionistic or intermediate logics. We investigate properties of Fregean varieties, guaranteeing either for a given unifiable term or for all unifiable terms, that projective unifiers exist. We indicate the identities which fully characterize congruence permutable Fregean varieties having projective unifiers. In particular, we show that for such a variety there exists the largest subvariety that have projective unifiers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
