Catégorie Logique formelle
Sous-catégories (4)
La catégorie « Logique formelle » contient 30 articles, dont 1 issu de Wikimonde Plus.
- Bisimulation
- Calcul relationnel
- CertiKOS
- Conséquence logique
- Conséquence tautologique
- Consequentia mirabilis
- Correction (logique)
- De dicto et de re
- Ensemble flou
- Système intelligent flou
- Hypothèse du monde ouvert
- Langage de la logique
- Logique algébrique
- Logique argumentative
- Logique du dialogue
- Logique non classique
- Logique non monotone
- Logique triviale
- Metamath
- Méthode formelle (informatique)
- Gholamhossein Mosaheb
- Moteur d'inférence
- Non sequitur
- Paralogisme
- Principe du tiers exclu
- Sémantique formelle (logique)
- Syntaxe transcendantale
- Système logique
- Théorème de Rabin sur les arbres
- Théorie des ordres