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 nom donné à un système formel 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]