Talk at 12th Panhellenic Logic Symposium in Anogeia, Crete, Grece

May 19, 2019

The paper “Applications of the analogy between formulas and exponential polynomials to equivalence and normal forms” to be presented at PLS12 in Anogeia, Crete, Grece

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.

https://arxiv.org/abs/1905.07621

http://panhellenic-logic-symposium.org/12/

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net