Hoops上的伪赋值

Hoops上的伪赋值

王梅, 辛小龙, 王军涛

Implicative Pseudo Valuations on Hoops

WANG Mei, XIN Xiao-long, WANG Jun-tao

数学季刊 . 2018, (1): 51 -60 . DOI: 10.13371/j.cnki.chin.q.j.m.2018.01.006