Logical Frameworks

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1999
Accession Number
ADA387218

Entities

People

  • Frank Pfenning

Tags

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Language
  • Mathematical Logic
  • Mathematics
  • New Brunswick
  • New Jersey
  • Notation
  • Programming Languages
  • Reasoning
  • Theoretical Computer Science

Fields of Study

  • Computer science

Readers

  • Computational Linguistics

Technology Areas

  • AI & ML