Tag: resource logic

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