3 papers
cs.LO2026
The TPTP Format for Interpretations
Geoff Sutcliffe, Alexander Steen, Pascal Fontaine +1
This paper describes the TPTP format for representing interpretations. It provides a background survey that helped ensure that the representation format is adequate for different t…
cs.LO2025
TPTP World Infrastructure for Non-classical Logics
Alexander Steen, Geoff Sutcliffe
The TPTP World is the well established infrastructure that supports research, development, and deployment of Automated Theorem Proving (ATP) systems. The TPTP World supports a rang…
cs.LO2025
The Dependently Typed Higher-Order Form for the TPTP World
Daniel Ranalter, Cezary Kaliszyk, Florian Rabe +1
Much of the current research and development in the field of automated reasoning builds on the infrastructure provided by the TPTP World. The TPTP language for logical formulae is…