A Computational Logic for Applicative Common LISP

&
In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 724–741 (2002)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Introduction The ACL2 System A Modeling Problem Case Studies.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch46

Links

PhilArchive



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

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.
Robert S. Boyer and J Strother Moore. A computational logic. ACM monograph series. Academic Press, New York etc. 1979, xiv + 397 pp. - Robert S. Boyer and J Strother Moore. A computational logic handbook. Perspectives in computing, vol. 23. Academic Press, Boston etc. 1988, xvi + 408 pp. [REVIEW]Dale Miller - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
Metatheory of Logics and the Characterization Problem.Jan Woleński - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 319–331.
Introduction: Logic, Philosophy, and Philosophical Logic.Dale Jacquette - 2002 - In A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 1–8.
Proofs and Expressiveness in Alethic Modal Logic.Maarten de Rijke & Heinrich Wansing - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 422–441.
Logic in the Acholi Language.Victor Ocaya - 2004 - In Kwasi Wiredu (ed.), A Companion to African Philosophy. Malden, MA: Wiley-Blackwell. pp. 283–295.
Moore.Thomas Baldwin - 1996 - In Nicholas Bunnin & Eric Tsui-James (eds.), The Blackwell Companion to Philosophy. Malden, MA: Wiley-Blackwell. pp. 805–810.
Logic and Computational Complexity International Workshop Lcc '94, Indianapolis, in, Usa, October 13-16, 1994 : Selected Papers'.Daniel Leivant - 1995 - Springer Verlag.
Intuitionism.Dirk van Dalen & Mark van Atten - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 511–530.
Metatheory.Alasdair Urouhart - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 305–318.

Analytics

Added to PP
2023-06-15

Downloads
5 (#1,561,495)

6 months
2 (#1,446,987)

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