×

直觉命题逻辑的(O(n\;\log\;n))空间决策过程。 (英语) 兹比尔0788.03010

摘要:我们提出了一种等价于直觉主义命题逻辑的演算LG,在该演算中,演绎的长度根据尾序列的大小线性有界。LG规则的后向应用由此产生了直觉命题逻辑的(O(n\logn))-SPACE决策算法。LG系统很容易实现为直观逻辑的表格系统。因此,它本身就有利益。

MSC公司:

03B25号 理论和句子集的可决定性
2015年3月1日 计算复杂性(包括隐式计算复杂性)
03秒20 经典逻辑子系统(包括直觉逻辑)
第68季度25 算法和问题复杂性分析
05年3月 切割消除和正规形定理
PDF格式BibTeX公司 XML格式引用
全文: 内政部