论文标题
在分布晶格上的时态操作员有含义
Tense operators on distributive lattices with implication
论文作者
论文摘要
受到Chajda和Paseka在2015年提出的分配晶格的定义的启发，在本文中，我们介绍和研究了带有含义的时态分配晶格的多样性，并且我们证明这些晶格与紧张的Kleene Algebras a in contination of the Offiencation。此外，我们分别采用这种等效性来描述每种变体代数的一致性，分别是紧张的1滤波器和时态的以中间为中心的演绎系统。
Inspired by the definition of tense operators on distributive lattices presented by Chajda and Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices with implication and we prove that these are categorically equivalent to a full subcategory of the category of tense centered Kleene algebras with implication. Moreover, we apply such an equivalence to describe the congruences of the algebras of each variety by means of tense 1-filters and tense centered deductive systems, respectively.
