bn:03394940n
Noun Concept
Categories: Théorie des types, Logique mathématique, Logique modale, Théorie de la démonstration
FR
logique linéaire  Logique lineaire
FR
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. Wikipedia
Definitions
Relations
Sources
FR
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. Wikipedia
Système formel de la logique mathématique Wikidata
DISCOVERER OR INVENTOR
Wikipedia
Wikidata
Wikipedia Redirections
Wikidata Alias
Wikipedia Translations