Une application élémentaire des grammaires génératives au dénombrement d'une certaine classe d'arbres
On se propose de donner une interprétation algébrique (en calcul des propositions classiques) des notions d'arbres, d'ensembles de Hintikka, de la méthode des tableaux de Beth-Hintikka Smullyan.
Page 1