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

Prolog

Denotational semantics

Successor function

Intuitionistic type theory

Anti-unification

Forward chaining

Hoare logic

Sequential logic

Linear logic

Unification (computer science)

Logic family

Logic gate