Properties of Heyting system and its H-spatilization
WU Tao, WU Hongbo
Computer Engineering and Applications . 2017, (23): 47 -50 .  DOI: 10.3778/j.issn.1002-8331.1607-0379