Logiques sous-structurelles

Un article de Wikipédia, l'encyclopédie libre.
Ceci est la version actuelle de cette page, en date du 24 décembre 2016 à 19:34 et modifiée en dernier par SniperMaské (discuter | contributions). L'URL présente est un lien permanent vers cette version.
(diff) ← Version précédente | Voir la version actuelle (diff) | Version suivante → (diff)

Les logiques sous-structurelles sont des logiques mathématiques où certaines règles d'inférence ne sont pas utilisées ou ont une utilisation restreinte.

En particulier, par rapport à la logique classique ou à la logique intuitionniste, il leur manque la règle de contraction qui dit peu ou prou que si on peut faire un raisonnement avec une même hypothèse invoquée deux fois, on peut faire le même raisonnement sans dupliquer cette hypothèse et la règle d'affaiblissement qui permet d'éliminer de l'ensemble des hypothèses une hypothèse inutilisée dans le raisonnement.

La logique linéaire est une logique sous-structurelle.

Voir aussi[modifier | modifier le code]