LINDENBAUM代数相关论文
探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换ψ,且ψ保持逻辑等价关系不变,并且是同态映射;ψ自然导出......
在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和（准）对称逻辑公式，探讨了反射变换φ的性质，证明了妒保持逻辑等价关系和（准）对称逻......
在一阶逻辑中回避了通常使用的相容扩张方法，基于商Lindenbaum代数并引入一阶语言的一种γ－解释，证明了一阶逻辑的完备性定理。......
探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出......
目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先......
