普效性相关硕士博士期刊学术论文

作为思维基本规律的排中律是非形式化的，它具有直观普效性；在经典的（一阶）逻辑系统内，排中律作为系统内的可证公式，具有系统内严格定义的......