方略学科导航

搜索结果: 1-1 共查到“演绎逻辑学系统”相关记录1条 . 查询时间(2.96 秒)

£ukasiewicz三值逻辑系统中的随机化研究随机真度相似度逻辑度量空间 2009/11/4

利用赋值集的随机化方法，在三值逻辑L3中提出了公式的随机真度，证明了所有公式的随机真度之集在[0，1]中没有孤立点；给出了两公式间的DL3-相似度与伪距离的概念，并建立了DL3-逻辑度量空间，证明了此空间没有孤立点。