拟真势逻辑相关硕士博士期刊学术论文

若将平行公理代以与之相冲突的命题,会得到非欧几何.而若在逻辑系统中限制一般意义的矛盾律、排中律,类似地就会得到一种非亚里士......