精选作品
期刊论文
BHK解释
2025
BHK解释与巴坎公式在直觉主义量化模态逻辑中的接受问题
程华清
《逻辑学动态与评论》
直觉主义量化
2025
直觉主义量化模态逻辑与巴坎公式
程华清
《湖南科技大学学报(社会科学版)》
DOI
直觉主义认知
2023
直觉主义认知逻辑与不同程度的真
程华清
《逻辑学研究》，Vol. 16, No. 1
下载原文
基于构造性
2020
基于构造性思想的直觉主义逻辑证明语义
程华清
《逻辑学研究》，Vol. 13, No. 2
下载原文
直觉主义逻辑
2019
直觉主义逻辑的直观语义与形式语义
程华清
《思想与文化》
密码协议分析
2017
密码协议分析的逻辑方法及其哲学意蕴
程华清
《贵州工程应用技术学院学报》
此主页由公开资料整理，尚未经学者本人认领。