The TPTP Language

Table of Contents

• Annotated Formulae
• The Arithmetic System
• The Non-classical Logics
• New Symbol Names
• Hyperlinked BNF

The TPTP Language BNF