MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics
复制标题
无参数二阶逻辑的 MacNeille 补全和 Buchholz 欧米茄规则
DOI：
10.4230/lipics.csl.2018.37
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Kazushige Terui
中科院分区：
文献类型：
--
作者：
中島若巳;荒谷聡子;藤田英俊;槇田浩史;西岡久寿樹;瀬戸口靖弘;中島利博;Kazushige Terui
