胡红 盛作国

语义定义 辩证逻辑的形式化 相干原理 引理 两个独立性 黎曼面模型 选言推理 蕴涵怪论 谓词逻辑 真理性意义 变项 语义理论 真值 归纳假设 制约逻辑 条件句 互补性逻辑 反事实条件句 次协调逻辑 实质蕴涵 语义学 研究方法 假值 模糊逻辑 可能世界 形式系统