The TPTP Language

Table of Contents

• Annotated Formulae
• The Arithmetic System
• The Non-classical Logics