Logical formalism

{{to be finished}}