Integrating external deduction tools with ACL2

, , &
Journal of Applied Logic 7 (1):3-25 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2007.07.002

Links

PhilArchive



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

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

Review: Robert S. Boyer, J. Strother Moore, A Computational Logic; Robert S. Boyer, J. Strother Moore, A Computational Logic Handbook. [REVIEW]Dale Miller - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
Review: Jon Barwise, Matt Kaufmann, Michael Makkai, Stationary Logic. [REVIEW]Paul C. Eklof - 1981 - Journal of Symbolic Logic 46 (4):867-868.
Review: Menachem Magidor, Jerome Malitz, Compact Extensions of $ L (\ mathbf {Q}) $(Part 1a); Matt Kaufmann, A New Omitting Types Theorem for $ L (Q) $. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
Incorporating equality into logic programming via surface deduction.P. T. Cox & T. Pietrzykowski - 1986 - Annals of Pure and Applied Logic 31:177-189.
Cognitivism, a priori deduction, and Moore.Frank Jackson - 2003 - Ethics 113 (3):557-575.
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.
Towards a canonical classical natural deduction system.José Espírito Santo - 2013 - Annals of Pure and Applied Logic 164 (6):618-650.
Review: J. A. Robinson, Automatic Deduction with Hyper-Resolution. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):189-190.
Erik J. Wielenberg: Value and Virtue in a Godless Universe. [REVIEW]Marek Pepliński - 2007 - Forum Philosophicum: International Journal for Philosophy 12 (1):196-201.
Review: E. J. Lemmon, Quantifier Rules and Natural Deduction. [REVIEW]Frederic B. Fitch - 1966 - Journal of Symbolic Logic 31 (1):127-127.

Analytics

Added to PP
2016-06-30

Downloads
12 (#1,115,280)

6 months
5 (#710,311)

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

No references found.

Add more references