sémantique de la théorie de la preuve
approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, but in the role that the proposition or logical connective plays within the system of inference