Isabelle for Philosophers

Ben Blumson

Isabelle for Philosophers

Authors	Ben Blumson National University of Singapore
Abstract	This is an introduction to the Isabelle proof assistant aimed at philosophers and their students.
Keywords	Isabelle/HOL Interactive theorem proving Automated theorem proving
Categories	Introductions to Logic in Logic and Philosophy of Logic Philosophy of Computation, Misc in Philosophy of Computing and Information Software Verification in Philosophy of Computing and Information (categorize this paper)
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Translate to english Revision history

Download options

PhilArchive copy

PhilArchive page | Other versions

External links

This entry has no external links. Add one.

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Only published works are available at libraries.

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Isabelle a Generic Theorem Prover.Lawrence C. Paulson - 1994 - Springer Verlag.

Automated Theorem-Proving in Non-Classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.

Isabelle/Hol a Proof Assistant for Higher-Order Logic.Tobias Nipkow, Lawrence C. Paulson & ‎Markus Wenzel - 2002 - Berlin and New York: Springer.

Symbolic Logic and Mechanical Theorem Proving.Chin-Liang Chang - 1973 - New York, NY, USA: Academic Press.

First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.

Human-Oriented and Machine-Oriented Reasoning: Remarks on Some Problems in the History of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.

Theorem Proving in Infinitesimal Geometry.J. Fleuriot - 2001 - Logic Journal of the IGPL 9 (3):447-474.

Thephilosophyofautomatedtheoremproving.Francis Jeffry Pelletier - unknown

Bridging Theorem Proving and Mathematical Knowledge Retrieval.Christoph Benzmüller, Andreas Meier & Volker Sorge - 2004 - In Dieter Hutter & Werner Stephan (eds.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer. pp. 277-296.

Introduction to Hol a Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993

Automated Theorem Proving and Its Prospects. [REVIEW]Desmond Fearnley-Sander - 1995 - PSYCHE: An Interdisciplinary Journal of Research On Consciousness 2.

Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'. [REVIEW]J. Grundy & Malcolm Charles Newey - 1998

Formalization of O Notation in Isabelle/HOL.Kevin Donnelly - unknown

Automated Theorem Proving for Łukasiewicz Logics.Gordon Beavers - 1993 - Studia Logica 52 (2):183 - 195.

Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'. [REVIEW]J. Grundy & Malcolm Charles Newey - 1998

Analytics

Added to PP index
2019-09-20

Total views
716 ( #9,378 of 2,462,323 )

Recent downloads (6 months)
66 ( #12,009 of 2,462,323 )

How can I increase my downloads?

Downloads

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...

Isabelle for Philosophers

Download options

References found in this work BETA

Citations of this work BETA

Similar books and articles

Analytics

My notes