Category:Logic in computer science

Logic in computer science (or computational logic) is that branch of mathematical logic which is approximately the intersection between mathematical logic and computer science. It contains:
 * 1) Those investigations into logic that are guided by applications in computer science. For example:
 * 2) *Rewriting systems, Combinatory logic and Abstract interpretation;
 * 3) Fundamental concepts in computer science that are naturally expressible in logical form. For example:
 * 4) *Type theory (used in type systems), Formal semantics of programming languages, Hoare logic, and Logic programming;
 * 5) Applications of fundamental concepts derived from the theory of computation that cast light on questions of pure logic. For example:
 * 6) *Curry-Howard correspondence and Game semantics;
 * 7) Tools for logicians considered as applied computer science. For example:
 * 8) *Automated theorem proving and Model checking.