Logique non classique

Un article de Wikipédia, l'encyclopédie libre.
(Redirigé depuis Logique non-classique)
Aller à : navigation, rechercher

La logique non-classique est le domaine de la logique formelle qui regroupe et étudie les systèmes formels qui diffère de façon significative avec des systèmes standards tel que la logique des prédicats.

Exemples[modifier | modifier le code]

Logiques ayant moins de règles[modifier | modifier le code]

Logiques avec un pouvoir expressif élargi[modifier | modifier le code]

Logiques avec un vocabulaire enrichi[modifier | modifier le code]

  • Logiques modales, toute une famille de logiques ajoutant au langage initial des opérateurs comme possibilité et nécessité.
  • Logique temporelle, qui introduit une notion de temporalité sur la validité des énoncés.

Autres formalisation de la logique usuelle[modifier | modifier le code]