Category:Logic in computer science

Logic in computer science is that branch of applied logic which is approximately the intersection between logic and computer science. It contains:

1. Those investigations into logic that are guided by applications in computer science. For example:
   • Combinatory logic and Abstract interpretation;
2. Fundamental concepts in computer science that are naturally expressible in logical form. For example:
   • Formal semantics of programming languages, Hoare logic, and Logic programming;
3. Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic . For example:
   • Curry-Howard correspondence and Game semantics;
4. Tools for logicians considered as applied computer science . For example:
   • Automated theorem proving and Model checking.

Articles in category "Logic in computer science"

There are 23 articles in this category.

Abstract interpretation B Backward chaining Bunched logic C Combinatory logic Curry-Howard F First-order resolution Formal semantics of programming languages

F cont. Forward chaining Fuzzy logic G Game semantics H Hoare logic Horn clause Horn-satisfiability I Intuitionistic logic Intuitionistic type theory

L LCF theorem prover Lambda calculus Logic in computer science Logic programming M Method of analytic tableaux Model checking P Predicate transformer semantics T Typed lambda calculus