论文标题
ririgs的模态扩展
Modal expansions of ririgs
论文作者
论文摘要
在本文中，我们介绍了各种I-Modal Ririgs。我们通过i-Filters来表征其成员的一致性晶格，并提供了有关滤器一代的描述。我们还提供了一个公理呈现，用于由收缩I模式旋转子的链产生的品种。最后，我们引入了具有i-modal Ririgs作为等效代数语义的逻辑的希尔伯特风格的演算，并证明这种逻辑具有参数化的局部推论定理。
In this paper we introduce the variety of I-modal ririgs. We characterize the congruence lattice of its members by means of I-filters and we provide a description on I-filter generation. We also provide an axiomatic presentation for the variety generated by chains of the subvariety of contractive I-modal ririgs. Finally, we introduce a Hilbert-style calculus of a logic with I-modal ririgs as an equivalent algebraic semantics and we prove that such a logic has the parametrized local deduction-detachment theorem.
