Residuated Kleene Algebras

详细信息

下载全文

推荐本文 |

• 作者：Hajnal Andr茅ka (1) andreka@renyi.hu
  Szabolcs Mikul谩s (2) szabolcs@dcs.bbk.ac.uk
  Istv谩n N茅meti (1) nemeti@renyi.hu
• 刊名：Lecture Notes in Computer Science
• 出版时间：2012
• 出版年：2012
• 期刊代码：99_0302-9743
• 类别：cp
• 卷：7230
• 期：1
• 页码：1-11
• 数据来源：sp

摘要

We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to Kozen’s class of Kleene algebras if we include the residuals of composition in the similarity type of relation algebras.