公式与指数多项式类比在等价性与范式中的应用
逻辑
2019-05-21 v1 计算机科学中的逻辑
摘要
我们展示了公式即多项式对应的一些应用：1) 一种基于证明（不）等式来（反）证明公式同构与等价的方法；2) 基于 exp-log 范式对算术层次的一种构造性类比。这些结果在直觉主义以及经典意义下均成立。
引用
@article{arxiv.1905.07621,
title = {Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms},
author = {Danko Ilik},
journal= {arXiv preprint arXiv:1905.07621},
year = {2019}
}