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

A generalization of \(k\times j\)-rough Heyting algebras

  • Gustavo Pelaitay,
  • Nohelia Paloma Ramos

摘要

A \(k\times j\) k × j -rough Heyting algebra is a Heyting algebra endowed with a finite family of unary operations known as projection maps. The purpose of this paper is to define and investigate a new (equational) class of algebras called \(k\times j\) k × j -rough pseudocomplemented distributive lattices as an abstraction from \(k\times j\) k × j -rough Heyting algebras.