Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.

Bahareh Afshari Lide Grotenhuis Graham E. Leigh Lukas Zenger

Published in: TABLEAUX (2023)

Keyphrases

cut elimination
linear logic
natural deduction
theorem prover
sequent calculus
distributed systems
software engineering
orders of magnitude
theorem proving