LEO-II and Satallax on the Sledgehammer test bench

, &
Journal of Applied Logic 11 (1):91-102 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2012.12.002

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 99,362

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

Inconsistency-tolerant description logic. Part II: A tableau algorithm for CALC C.S. P. Odintsov & H. Wansing - 2008 - Journal of Applied Logic 6 (3):343-360.
Frege’s Conception of Logic by Patricia A. Blanchette. [REVIEW]Danielle Macbeth - 2014 - Journal of the History of Philosophy 52 (1):176-177.
Human dignity on the test bench.Anotj Kapust - 2007 - Philosophische Rundschau 54 (4):279 - 307.
Commentary on Aristotle, ›Prior Analytics‹ (Book II): Critical Edition with Introduction and Translation.Nikos Agiotis (ed.) - 2021 - De Gruyter.
Patricia A. Blanchette. Frege's conception of logic. Oxford University Press, 2012. xv + 190 pp. [REVIEW]G. Aldo Antonelli - 2013 - Bulletin of Symbolic Logic 19 (2):219-222.
Frege’s Conception of Logic.Patricia Blanchette - 2012 - Oxford, England: Oup Usa.
Book Review: Theology Without Borders: Essays in Honor of Peter C. Phan by Leo D. Lefebure (ed.). [REVIEW]Gerard Whelan - 2024 - Studies in Christian Ethics 37 (4):917-919.
Linné, L'équilibre de la nature..., textes trad, par B. Jasmin, introd. et ann. par C. Limoges.[author unknown] - 1977 - Revue d'Histoire des Sciences 30 (3):278-280.
LEO-II im Ontologieschliessen -- Antrag auf ein Forschungsvorhaben an die DFG.Benzmüller Christoph - 2009
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.

Analytics

Added to PP
2016-06-30

Downloads
22 (#846,516)

6 months
7 (#564,683)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.

Add more references