General Logics

Abstract

The connections between logic and computer science are growing rapidly and are becoming deeper. Besides theorem proving, logic programming, and program specification and verification, other areas showing a fascinating mutual interaction with logic include type theory, concurrency, artificial intelligence, complexity theory, databases, operational semantics, and compiler techniques. The concepts presented in this paper are motivated by the need to understand and relate the many different logics currently being used in computer science, and by the related need for new approaches to the rigorous design of computer systems. Logic programming is of course one of the areas where logic and computer science interact most strongly.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1989
Accession Number
ADA219469

Entities

People

  • José Meseguer

Organizations

  • SRI International

Tags

Communities of Interest

  • Autonomy

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Chemical Reactions
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Language
  • Mathematics
  • Model Theory
  • Notation
  • Numbers
  • Programming Languages
  • Recursive Functions
  • Standards
  • Theoretical Computer Science

Fields of Study

  • Computer science

Readers

  • Computer Science.
  • Mathematical Modeling and Probability Theory.
  • Systems Analysis and Design

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy