Tag: contraction

Structural Rule in Logic

A structural rule in logic, particularly proof theory, governs the manipulation of…

Bossmind
Bossmind

Contraction in Logic and Mathematics

Contraction is a logical process of removing redundant elements from expressions or…

Bossmind
Bossmind

Abelian Logic

Abelian logic is a specific type of relevance logic. It notably rejects…

Bossmind
Bossmind