Simple Type Theory as a Clausal Theory

Published 26 Apr 2023 in cs.LO | (2304.13319v1)

Abstract: We give a presentation of Simple Type Theory as a clausal rewrite system in Polarized deduction modulo.

Authors (1)

No one has generated a summary of this paper yet.

No one has generated a video about this paper yet.

No one has generated a whiteboard explanation for this paper yet.

We haven't generated a list of open problems mentioned in this paper yet.

We haven't generated follow-up questions for this paper yet.