摘要

利用赋值集的随机化方法,在四值非线性序集逻辑系统L24中提出了公式的随机真度和随机距离,建立了非线性序集逻辑系统上的随机逻辑度量空间。它是计量逻辑学和随机真度的相关理论在非线性序集逻辑系统上的推广。