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

Linear logic

Intuitionistic type theory

Anti-unification

Forward chaining

Hoare logic

Unification (computer science)

Denotational semantics

Sequential logic

Successor function

Prolog

Logic family

Logic gate