Similar Items: Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
- Some observations on the logical foundations of inductive theorem proving
- Towards a Proof Theory of Gödel Modal Logics
- A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
- Benchmarking Testing in Automated Theorem Proving
- Derivation Lengths Classification of Gödel's T Extending Howard's Assignment