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

Hoare logic

Successor function

Forward chaining

Anti-unification

Unification (computer science)

Denotational semantics

Prolog

Linear logic

Intuitionistic type theory

Sequential logic

Logic family

Logic gate