二次曲线参数方程的几何意义

椭圆的参数方程的几何意义是众所周知的(见例1)。本文将分别对双曲线、抛物线的参数方程阐述几何意义(见例2、例3)。     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

剩余格

剩余格是具备了一定条件的1 -广群 ,为了研究其结构 ,给出了剩余格的2个特征性质即剩余格中的每个元均为负的 ;一个抽象格L,当“∧”被取为运算时是剩余的 ,当且仅当L的对偶是一个布劳威尔逻辑.在这种情形下 ,剩余运算“∶”被特殊化为蕴涵运算“→”.     

全功能运算集

本文对于命题演算中五种运算的集Ｓ∨＝｛Ｌ，∧，∨，→，｝，及其扩大集Ｓ＝Ｓ∪｛↑，↓，∨－，→｝论述了全功能的运算集，主要结果是定理１及定理２     

格等式类格的对偶紧元

本文的结果归纳成两个定理。阐明了格的有穷个元生成的子格至多是可数的；给出格等式类格的对偶紧元的一个特征性质。这些对于研究格等式类格具有重要意义。     

阿基米德l—群的几个定理

首先给出阿基米德ｌ群的几个基本概念及引理，然后讨论了它的有关性质。特别是定理 ４ 导出全序阿氏ｌ群与实数的戴得金分划间的关系。对研究ｌ群的结构有其理论价值。     

格序群有基的一个充要条件

证明了格序群有基的一个充要条件     

强混合性质V－构造的一个定理

本文给出具有强混合性质的Ｖ－构造的一个定理。对于研究格的一个等式类Ｋ的强混合性质是很重要的。     

分类格及关联几何

本文主要研究下述的三个概念:分类格,联格,关联几何,首先证明了关于分类格的几个定理(定理1—定理3),其次证明了描述联格及关联几何之间关系的一个定理(定理4)。