证明论的转向相关硕士博士期刊学术论文

内涵逻辑产生于上世纪60年代，如今它已经在计算机学科、人工智能、语言学、哲学甚至数学基础等如此多样性的学科中发挥着强有力的理......