Simple Type Theory as a Clausal Theory

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

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

Related collections

Author and article information

Journal

Publication date Created: 26 April 2023

Article

ArXiV ID: 2304.13319

SO-VID: 0753fba3-b71f-4480-a093-5dfe7e187375

License:

http://arxiv.org/licenses/nonexclusive-distrib/1.0/

History

Custom metadata

Categories cs.LO

Proxy ccsd

ScienceOpen disciplines: Theoretical computer science

Data availability:

ScienceOpen disciplines: Theoretical computer science

Simple Type Theory as a Clausal Theory

Read this article at