首先给出了区间值命题逻辑的基本概念，把概率测度和概率空间的概念拓展到区间值上，在此基础上定义了有限值区间逻辑测度，给出基于区间值概率空间的无穷乘积概念。在Lukasiewicz区间值命题逻辑中，引入命题的a-真度概念，证明了区间值真度推理规则，讨论了其性质。