约尔格·胡德尔梅尔 直觉命题逻辑的(O(n\;\log\;n))空间决策过程。 (英语) 兹比尔0788.03010 J.日志。计算。 3,第1期,63-75(1993). 摘要:我们提出了一种等价于直觉主义命题逻辑的演算LG,在该演算中,演绎的长度根据尾序列的大小线性有界。LG规则的后向应用由此产生了直觉命题逻辑的(O(n\logn))-SPACE决策算法。LG系统很容易实现为直观逻辑的表格系统。因此,它本身就有利益。 引用于2评论引用于26文件 MSC公司: 03B25号 理论和句子集的可决定性 2015年3月1日 计算复杂性(包括隐式计算复杂性) 03秒20 经典逻辑子系统(包括直觉逻辑) 第68季度25 算法和问题复杂性分析 05年3月 切割消除和正规形定理 关键词:决策程序;矢列演算;直觉命题逻辑;决策算法;tableau系统;直觉逻辑 PDF格式BibTeX公司 XML格式引用 \textit{J.Hudelmaier},J.Log。计算。3,编号1,63--75(1993;Zbl 0788.03010) 全文: 内政部