1 problem

0 votes0 replies0 views
Conjecture on formula-to-variable translations between more expressive logics
Formula-to-variable translation conjecture. Among more expressive logics, there should be translations $(alT,f)$ such that $alT$ maps each entire formula $phi$ to the propositional…
Conjectureopenexpressive-power logic translationsarXiv posted 2 days ago

Conjecture on formula-to-variable translations between more expressive logics