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

Linear logic

Intuitionistic type theory

Unification (computer science)

Anti-unification

Forward chaining

Successor function

Denotational semantics

Hoare logic

Sequential logic

Logic family

Logic gate

Prolog