Category:計算機科学における論理

Logic family

Prolog

Logic gate

Intuitionistic type theory

Forward chaining

Denotational semantics

Anti-unification

Successor function

Sequential logic

Unification (computer science)

Hoare logic

Linear logic