Portail:Logique/Mathématique

Les différentes formes de calcul en logique mathématique sont les suivantes :

• Le calcul des propositions.
• Le calcul des prédicats.
• La logique classique.
• La logique intuitionniste.
• La logique linéaire.
• Les logiques modales :
  • La logique épistémique,
  • La logique déontique liée à la logique de l´action,
  • La logique temporelle.
  • La logique de description.
• Les logiques multivalentes.
• La logique floue.
• Le calcul des classes et la théorie des ensembles.

Les méthodes développées par la logique pour déterminer si une inférence est valable sont traitées dans les articles suivants :

• La théorie des modèles,
• La théorie de la démonstration et notamment le calcul des séquents, la déduction naturelle et les systèmes à la Hilbert,
• La théorie de la calculabilité.