Proofs and Models in the TPTP World

The TPTP World

• The TPTP World
• The TPTP Language
• The TPTP Problem Library
• The TSTP Solution Library
• The SZS Ontologies

Derivations

• TPTP format for Derivations
• IDV - Interactive Derivation Viewer
• GDV - Semantic Derivation Verification

Interpretations

• TPTP format for finite Tarskian Interpretations in one formula, in one file,
• TPTP format for infinite Tarskian Interpretations
• IIV - Interactive Interpretation Viewer
• AGMV - Semantic Model Verification
• TPTP format for Kripke Interpretations in one formula, in one file,
• AGMV - Semantic Model Verification

The End - Any Questions?

Advertisement: The TPTP World Tour