Towards a theory of mechanizable theories: I
by
Fol Contexts---The Extensional
,
Carolyn Talcott
,
Richard W. Weyhrauch
,
Ibuki Inc
BibTeX
@MISC{Extensional_towardsa,
author = {Fol Contexts---The Extensional and Carolyn Talcott and Richard W. Weyhrauch and Ibuki Inc},
title = {Towards a theory of mechanizable theories: I},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper. We call these structures contexts. We claim that contexts are the appropriate building blocks for giving a general explanation of both reasoning and cognition
Citations
| 593 | Introduction to Metamathematics - Kleene - 1971 |
| 24 | Programming, transforming, and proving with function abstractions and memories - Mason, Talcott - 1989 |
| 12 | Prolegomena to a Theory of Formal Reasoning - Weyhrauch - 1980 |
| 9 | The Essence of Rum: A Theory of the Intensional and Extensional Aspects of Lisp-type Computation - Talcott - 1985 |
| 5 | Using meta-theoretic reasoning to do algebra - Aiello, Weyhrauch - 1980 |
| 4 | Non-extensional type-free theories of partial operations and classifications - Feferman - 1974 |
| 2 | Towards a theory of mechanizable theories I: FOL Contexts---the extensional view, in preparation - Talcott, Weyhrauch - 1990 |
