二层显式归纳复合相关硕士博士期刊学术论文 - 搜论网

二层显式归纳复合相关论文

全抽象事实空间中的单逻辑定理证明

逻辑定理有2种证明方法：逻辑公理系统方法和自然演绎系统方法。对于单逻定理这种逻辑定理，提出一种新的证明方法：在互逆主义逻辑的全......

期刊

互逆主义逻辑周氏坐标系层次全抽象事实空间二层显式归纳复合单逻定理证明 mutually-inversistic logic Zhou＇s coordi

看过本文同时还关注