SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus.

Julie Cailler Simon Guilloud

Published in: PAAR+SC²@IJCAR (2024)

Keyphrases

automated theorem proving
theorem proving
natural deduction
theorem prover
sequent calculus
inference rules
linear time temporal logic
answer set programming
databases
multimedia
first order logic
cut elimination
information retrieval
decision trees
data structure
computer algebra