Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms
Logic
2019-05-21 v1 Logic in Computer Science
Abstract
We show some applications of the formulas-as-polynomials correspondence: 1) a method for (dis)proving formula isomorphism and equivalence based on showing (in)equality; 2) a constructive analogue of the arithmetical hierarchy, based on the exp-log normal form. The results are valid intuitionistically, as well as classically.
Keywords
Cite
@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}
}