<正>一、引言 在逻辑程序中允许负文字出现,极大地增强了逻辑程序的表达能力,但同时也其语义定义带来了困难。可以说,至今还没......

关于Ｈｅｒｂｒａｎｄ基上的语义映射应明生（江西师范大学数学系南昌３３００２７）ＳＥＭＡＮＴＩＣＭＡＰＰＩＮＧＳＯＮＨＥＲＢＲＡＮＤＢＡＳＥＳ￥ＹＩＮＧＭｉｎｇｓｈｅｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＪｉａｎｇｘｉＮｏｒｍａｌＵｎｉ.........