The Logic Languages of the TPTP World
Introduction
The TPTP Language
The Logic Languages
First-Order Form (FOF and CNF)
Typed First-order Form (TFF)
Typed eXtended First-order form (TXF)
Typed Higher-order Form (THF)
Non-classical Forms (NXF and NHF)
Conclusion
The End ... Questions?
