|
Abstract:
Deductive systems, given via axioms and rules of inference are a common conceptual tool in mathematical logic and computer science. They are used to specify many varieties of logics and logical theories as well as aspects of programming languages such as type systems or operational semantics. A logical framework is a meta-language for the specification of deductive systems. A number of different frameworks have been proposed and implemented for a variety of purposes. In addition, general reasoning systems have been used to study deductions as mathematical objects, without specific support for the domain of deductive systems.
| Limitations: |
 APPROVED FOR PUBLIC RELEASE |
| Pages: |
85 |
| Report Date: |
1999 |
| Report Number: |
A812783 |
|
|
|
|
Keywords relating to this report:
