W pracy badawczej wiele miejsca, w tym nieopublikowaną rozprawę kandydacką, poświęcił gramatyce Port-Royal i fundamentalnemu dla niej dziełu Grammaire Générale et Raisonnée (1660). W związku z charakterystycznym dla tej gramatyki postrzeganiem języka jako wytworu rozumu, co wyrażało się w identyfikacji kategorii gramatycznych z kategoriami logicznymi, w analizach swoich Gniadek wykorzystywał swoje przygotowanie i filologiczne, i filozoficzno-logiczne. Doszedł m.in. do wniosku, że wszystkie prace językoznawcze bliskie Port-Royal podporządkowane zostały takim potrzebom, jak nauczanie i polemika religijna. Poza wspomnianą rozprawą kandydacką Gniadek ogłosił z tej dziedziny artykuły: La doctrine sémantique de Port-Royal („Studia Romanica Posnaniensia”, tom II, 1973), L'attitude des grammairiens du XVIe siècle par rapport à la grammaire raisonnée („Studia Romanica Posnaninsia”, tom VII, 1980), Port-Royal et la querelle du „bon usage” („Studia Romanica Posnaniensia”, tom VIII, 1981). Gramatyce Port-Royal Gniadek poświęcił także kilka wykładów wygłoszonych na forum Poznańskiego Towarzystwa Przyjaciół Nauk.