Règle des Coupures
concept
règle d'inférence du calcul des séquent, géneralisation du modus ponens
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Règle_de_coupure
Lien Wikidata : https://www.wikidata.org/wiki/Q18400501
concept
règle d'inférence du calcul des séquent, géneralisation du modus ponens
Lien Wikipedia : https://fr.wikipedia.org/wiki/Règle_de_coupure
Lien Wikidata : https://www.wikidata.org/wiki/Q18400501