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

Intuitionistic type theory

Unification (computer science)

Anti-unification

Forward chaining

Successor function

Denotational semantics

Sequential logic

Linear logic

Hoare logic

Logic family

Prolog

Logic gate