Extensional Higher-Order Paramodulation in Leo-III

v1v2 (latest)

Extensional Higher-Order Paramodulation in Leo-III

26 July 2019

Christoph Benzmüller

ArXiv (abs)PDF HTML

Papers citing "Extensional Higher-Order Paramodulation in Leo-III"

7 / 7 papers shown

Title
Superposition with Lambdas Alexander Bentkamp J. Blanchette Sophie Tourret Petar Vukmirović Uwe Waldmann 23 34 0 31 Jan 2021
Superposition for Lambda-Free Higher-Order Logic Alexander Bentkamp J. Blanchette Simon Cruanes Uwe Waldmann 83 37 0 05 May 2020
On Reductions of Hintikka Sets for Higher-Order Logic A. Steen Christoph Benzmüller LRM 8 1 0 16 Apr 2020
Computer Science and Metaphysics: A Cross-Fertilization Daniel Kirchner Christoph Benzmüller E. Zalta AI4CE 22 21 0 01 May 2019
LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners M. Wisniewski A. Steen Christoph Benzmüller LRM 25 21 0 07 May 2015
Quantified Multimodal Logics in Simple Type Theory Christoph Benzmüller Lawrence Charles Paulson 91 120 0 14 May 2009
Cut-Simulation and Impredicativity Christoph Benzmüller C. Brown M. Kohlhase 78 16 0 31 Jan 2009