JI-DISTRIBUTIVE, DUALLY QUASI-DE MORGAN SEMI-HEYTING AND HEYTING ALGEBRAS
キーワード:
JI-distributive,
dually quasi-De Morgan semi-Heyting algebra,
De Morgan semi-Heyting algebra,
De Morgan Heyting algebra,
dually Stone semi-Heyting algebra,
dually Stone Heyting algebra,
discriminator variety,
simple algebra,
subdirectly irreducible algebra,
equational base
2019 年 82 巻 3 号 p. 245-271
詳細
記事の1ページ目
