首页|Characterizations of semihoops based on derivations

Characterizations of semihoops based on derivations

扫码查看
In this paper,we discuss the related properties of some particular derivations in semihoops and give some characterizations of them.Then,we prove that every Heyting algebra is isomorphic to the algebra of all multiplicative derivations and show that every Boolean algebra is isomorphic to the algebra of all implicative derivations.Finally,we show that the sets of multiplicative and implicative derivations on bounded regular idempotent semihoops are in one-to-one correspondence.

(prelinear)semihoopderivationHeyting algebraGalois connection

WANG Mei、ZHANG Xiao-hong

展开 >

School of Electrical and Control Engineering,Shaanxi University of Science and Technology,Xi'an 710021,China

School of Mathematics and Statistics,Weinan Normal University,Weinan 714099,China

School of Arts and Sciences,Shaanxi University of Science and Technology,Xi'an 710021,China

国家自然科学基金

12271319

2024

高校应用数学学报B辑(英文版)
浙江大学 中国工业与应用数学学会

高校应用数学学报B辑(英文版)

影响因子:0.146
ISSN:1005-1031
年,卷(期):2024.39(2)
  • 22