Lash 1.0 (system description)

DOI10.1007/978-3-031-10769-6_21OpenAlexW4289104063MaRDI QIDQ2104521

Cezary Kaliszyk, Chad Edward Brown

Publication date: 7 December 2022

Full work available at URL: https://arxiv.org/abs/2205.06640

zbMATH Keywords

automated reasoninghigher-order logicTPTP

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

The 11th IJCAR automated theorem proving system competition – CASC-J11 ⋮ Lash

Uses Software

• TPS
• TPTP
• Satallax
• Leo-III

Cites Work

• Analytic tableaux for higher-order logic with choice
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• TPS: A theorem-proving system for classical type theory
• A combinator-based superposition calculus for higher-order logic
• Extensional higher-order paramodulation in Leo-III
• Internal Guidance for Satallax
• Satallax: An Automatic Higher-Order Prover
• Extended First-Order Logic
• Analytic Tableaux for Simple Type Theory and its First-Order Fragment
• The 10th IJCAR automated theorem proving system competition – CASC-J10
• Making higher-order superposition work

This page was built for publication: Lash 1.0 (system description)