The Higher-Order Prover LEO-II

, , &
Journal of Automated Reasoning 55 (4):389-404 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG.Benzmüller Christoph - 2009
Formalization, Mechanization and Automation of Gödel’s Proof of God’s Existence.Benzmüller Christoph & Woltzenlogel Paleo Bruno - 2013
Gödel’s God in Isabelle/HOL.Benzmüller Christoph & Woltzenlogel Paleo Bruno - 2013 - Archive of Formal Proofs.
Combined reasoning by automated cooperation.Christoph Benzmüller, Volker Sorge, Mateja Jamnik & Manfred Kerber - 2008 - Journal of Applied Logic 6 (3):318-342.
Effective Higher-Order Automated Theorem Proving with integrated Descente Infinie and Presburger Arithmetic LEO-III.Benzmüller Christoph & Wirth Claus-Peter - 2009
Equality and Extensionality in Higher-Order Theorem Proving.Benzmüller Christoph - 1999 - Dissertation, Naturwissenschaftlich-Technische Fakultät I, Saarland University, Saarbrücken, Germany
Cumulative Habilitation Script.Christoph Benzmüller - 2006 - Saarland University, Germany.
Computer-Assisted Analysis of the Anderson-Hájek Controversy.Benzmüller Christoph, Weber Leon & Woltzenlogel Paleo Bruno - 2017 - Logica Universalis 11 (1):139-151.
Verifying the Modal Logic Cube is an Easy Task.Christoph Benzmüller - 2010 - In Simon Siegler & Nathan Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer. pp. 117-128.
Types, Tableaus and Gödel’s God in Isabelle/HOL.Fuenmayor David & Benzmüller Christoph - forthcoming - Archive of Formal Proofs.

Analytics

Added to PP
2017-12-04

Downloads
27 (#577,964)

6 months
7 (#592,073)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
A Step Towards Absolute Versions of Metamathematical Results.Balthasar Grabmayr - 2024 - Journal of Philosophical Logic 53 (1):247-291.

View all 7 citations / Add more citations

References found in this work

A Theory of Conditionals.Robert Stalnaker - 1968 - In Nicholas Rescher (ed.), Studies in Logical Theory. Oxford,: Blackwell. pp. 98-112.

View all 16 references / Add more references