Tag: mathematical logic

Brouwerian Modal Logic

A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in…

Bossmind
Bossmind

Provability Predicate

A provability predicate is a mathematical function that determines whether a statement…

Bossmind
Bossmind

Affine Logics

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

Bossmind
Bossmind