广义谢弗竖相关硕士博士期刊学术论文

沿着安德森等人开创的方向，我们将分析性公理系统从经典逻辑推向模态逻辑，所定义的广义谢弗竖混合了模态词和广义析舍。在这篇论文中......