A variety is called tabular (T) whenever it is generated by one finite algebra. A pretabular (PT) variety is a non tabular variety whose proper subvarieties are all tabular. Those notions were firstly studied for Heyting algebras, in the sixties and seventies. An important role of PT varieties is to check if the tabularity problem (i.e. deciding if a certain variety is tabular or not) is decidable. In a recent work we started studying T and PT varieties of MTL-algebras, finding some preliminary results. In this paper we take a step further, by studying the decidability issues for some properties for tabular varieties of MTL-algebras, like tabularity, consistent tabularity, non-boolean tabularity, single chain generation and amalgamation property. We study the decidability and the computational complexity of those problems.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Some Properties of Tabular Varieties of MTL-Algebras and Their Decidability

  • Stefano Aguzzoli,
  • Matteo Bianchi

摘要

A variety is called tabular (T) whenever it is generated by one finite algebra. A pretabular (PT) variety is a non tabular variety whose proper subvarieties are all tabular. Those notions were firstly studied for Heyting algebras, in the sixties and seventies. An important role of PT varieties is to check if the tabularity problem (i.e. deciding if a certain variety is tabular or not) is decidable. In a recent work we started studying T and PT varieties of MTL-algebras, finding some preliminary results. In this paper we take a step further, by studying the decidability issues for some properties for tabular varieties of MTL-algebras, like tabularity, consistent tabularity, non-boolean tabularity, single chain generation and amalgamation property. We study the decidability and the computational complexity of those problems.