亚结构逻辑的定理证明器

Mirjana IsakovićIlić。“亚结构逻辑的定理证明者”机构数学出版物82(96).102 (2007): 55-78. <http://eudml.org/doc/258332>。

@第{MirjanalisakovićIlić2007条，
author={Mirjana IsakovićIlić}，
journal={数学研究所出版物}，
关键词={BCK逻辑；相关逻辑；直觉逻辑；经典逻辑；序列系统；割消去；表系统}，
语言={eng}，
数字={102}，
页数={55-78}，
publisher={Matematički institut SANU}，
title={子结构逻辑的定理证明}，
url={http://eudml.org/doc/258332},
体积={82（96）}，
年份={2007}，
}

TY-JOUR公司
非盟-米尔贾娜·伊萨科维奇
子结构逻辑的TI定理证明器
JO-数学研究所出版物
2007年上半年
PB-马特马提奇基研究所SANU
VL-82（96）
IS-102标准
SP-55型
EP-78
洛杉矶-eng
KW-BCK逻辑；相关逻辑；直觉主义逻辑；经典逻辑；顺序系统；切割消除；tableau系统
UR-（欧元）http://eudml.org/doc/258332
急诊室-