Tag: linear logic

Substructural Logic

Substructural logics are non-classical systems that alter or remove structural rules of…

Bossmind
Bossmind

Prelinearity Axiom

The prelinearity axiom, represented by the formula (P → Q) ∨ (Q…

Bossmind
Bossmind

Linear Logics

Linear logic treats logical operations as resource-consuming, unlike classical logic's reusable assumptions.…

Bossmind
Bossmind

Affine Logics

Affine logics, a specialized branch of linear logic, explore the properties of…

Bossmind
Bossmind