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

Hoare logic

Unification (computer science)

Sequential logic

Anti-unification

Intuitionistic type theory

Forward chaining

Successor function

Denotational semantics

Linear logic

Logic family

Prolog

Logic gate