Carte Rare

Logique linéaire

système formel de la logique mathématique

Valeur

50 W

Attaque

249

Défense

199

Joueurs

0

309 vues Wikipédia ces 30 derniers jours

En logique mathématique et plus précisément en théorie de la démonstration, la logique linéaire est un système formel inventé par le logicien Jean-Yves Girard en 1987. Du point de vue logique, la logique linéaire décompose et analyse les logiques classique et intuitionniste.