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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

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.
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.
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 Eric Tsui-James & Nicholas Bunnin (eds.), Blackwell Companion to Philosophy. Cambridge, Mass.: 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.
Truth in applicative theories.Reinhard Kahle - 2001 - Studia Logica 68 (1):103-128.

Analytics

Added to PP
2023-06-15

Downloads
11 (#1,424,918)

6 months
6 (#879,768)

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