THF0 – The Core of the TPTP Language for Higher-Order Logic
From MaRDI portal
Publication:3541725
DOI10.1007/978-3-540-71070-7_41zbMath1165.68447OpenAlexW1541015300MaRDI QIDQ3541725
Christoph Benzmüller, Florian Rabe, Geoff Sutcliffe
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_41
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (9)
Formal Logic Definitions for Interchange Languages ⋮ The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0 ⋮ Proofs and Reconstructions ⋮ Combining and automating classical and non-classical logics in classical higher-order logics ⋮ LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description) ⋮ Progress in the Development of Automated Theorem Proving for Higher-Order Logic ⋮ Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) ⋮ GRUNGE: a grand unified ATP challenge ⋮ THF0
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Combinatory logic. With two sections by William Craig.
- Computer supported mathematics with \(\Omega\)MEGA
- Combined reasoning by automated cooperation
- The TPTP problem library. CNF release v1. 2. 1
- Isabelle/HOL. A proof assistant for higher-order logic
- TPS: A theorem-proving system for classical type theory
- TPTP, TSTP, CASC, etc.
- LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
- Using the TPTP Language for Writing Derivations and Finite Interpretations
- Extending the TPTP Language to Higher-Order Logic with Automated Parser Generation
- A framework for defining logics
- Higher-order semantics and extensionality
- Theorem Proving in Higher Order Logics
- A formulation of the simple theory of types
- Completeness in the theory of types
This page was built for publication: THF0 – The Core of the TPTP Language for Higher-Order Logic