Rippling: Meta-Level Guidance for Mathematical Reasoning

, , &
Bulletin of Symbolic Logic 12 (3):498-499 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600002614

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Bundy Alan, Basin David, Hutter Dieter and Ireland Andrew. Rippling: meta-level guidance for mathematical reasoning. Cambridge Tracts in Theoretical Computer Science, vol. 56. Cambridge University Press, 2005, xiv+ 202 pp. [REVIEW]Joe Hurd - 2006 - Bulletin of Symbolic Logic 12 (3):498-499.
Temporalizing epistemic default logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
Evaluating arguments and making meta-arguments.Daniel H. Cohen - 2001 - Informal Logic 21 (2).
: Developing reason.Deanna Kuhn, Jared B. Katz & David Dean Jr - 2004 - Thinking and Reasoning 10 (2):197 – 219.
Representing meta-knowledge in Poole-systems.Gerhard Brewka - 2001 - Studia Logica 67 (2):153-165.
Metafunctions in nqthm and acl.Robert Boyer - manuscript
Connection-driven inductive theorem proving.Christoph Kreitz & Brigitte Pientka - 2001 - Studia Logica 69 (2):293-326.
Reconstructing Hilbert to construct category theoretic structuralism.Elaine Landry - unknown
Mathematical Wit and Mathematical Cognition.Andrew Aberdein - 2013 - Topics in Cognitive Science 5 (2):231-250.
Computational Meta-Ethics: Towards the Meta-Ethical Robot.Gert-Jan C. Lokhorst - 2011 - Minds and Machines 21 (2):261-274.
Mathematical reasoning: induction, deduction and beyond.David Sherry - 2006 - Studies in History and Philosophy of Science Part A 37 (3):489-504.
How to be a structuralist all the way down.Elaine Landry - 2011 - Synthese 179 (3):435 - 454.
Meta-meta. Comments on the ontology and epistemology of Aarnio's legal theory.Hannu Tapani Klami - 1979 - In Aleksander Peczenik & Jyrki Uusitalo (eds.), Reasoning on Legal Reasoning. Society of Finnish Lawyers. pp. 167.
A Computational Framework For Understanding Mathematical Discoursexy.Claus Zinn - 2003 - Logic Journal of the IGPL 11 (4):457-484.
Structuralism and Meta-Mathematics.Simon Friederich - 2010 - Erkenntnis 73 (1):67 - 81.

Analytics

Added to PP
2014-03-18

Downloads
18 (#832,589)

6 months
3 (#976,504)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inductive theorem proving based on tree grammars.Sebastian Eberhard & Stefan Hetzl - 2015 - Annals of Pure and Applied Logic 166 (6):665-700.

Add more citations

References found in this work

No references found.

Add more references