关于同时属于 GL 的闭 IL 公式的比例
逻辑
2016-08-08 v3 组合数学
摘要
文献 [4] 给出了广泛类别的闭 IL 公式的范式。在此，我们以精确数值渐近地量化了这些类别的范围。结果表明，"大多数"闭 IL 公式都具有 GL 等价形式，因此它们拥有与 GL 公式相同的范式。除了应用文献 [4] 的结果外，我们的方法完全是句法层面的。作为副产品，我们设计了一种便捷的方法来计算由语法规则给定的较一般公式类别的渐近行为。其应用无需任何关于递推关系、生成函数或渐近枚举方法的知识，因为所有这些都已纳入两个基本参数中。
引用
@article{arxiv.1309.3408,
title = {On the share of closed IL formulas which are also in GL},
author = {Vedran Čačić and Vjekoslav Kovač},
journal= {arXiv preprint arXiv:1309.3408},
year = {2016}
}
备注
23 pages; v3: title changed, logical and combinatorial parts separated, more general alphabets considered