Generalized quantifiers and the square of opposition
暂无分享,去创建一个
Recherches sur les quantificateurs non-standard, comme la plupart de (s), du double point de vue de la syllogistique (carre des oppositions) et de la logique moderne (theorie des quantificateurs generalises de Barwise et Cooper). L'A. combine les regles de l'inference immediate du calcul des predicats et celles de l'inference syllogistique de la logique traditionnelle.