BL命题逻辑系统是一个相对完备的逻辑系统,对BL命题逻辑系统的研究是数理逻辑的一个重要研究方向,为了进一步研究BL逻辑系统,本文......

直觉模糊集是可以同时反映事物的可信程度与不可信程度的集合。所以,直觉模糊逻辑比模糊逻辑更广泛的解释日常生活中事物或现象的......

本文主要介绍了紧复流形上Kodaira-Spencer-Kuranishi形变理论中的存在性定理,完备性定理以及Calabi-Yau(CY)流形上Kodaira-Spence......

对于极坐标系下的波动方程，首先通过引入合适的对偶变量将其化为Hamilton系统，并基于Bessel函数的性质证明了导出的Hamilton算子矩阵......

得到两类2×2对称算子矩阵乘积的本征函数系的完备性定理，并将定理应用于4×4的斜对角无穷维Hamilton算子.针对可分Hamilton系统，提......

引入了度量R0-代数和R0型Hilbert方体的概念.从语义和语构两个方面建立了同时适用于命题逻辑系统L*与一阶逻辑系统k*的近似推理理......