Ime ovog grada nema veze sa banjom (lečilištem) niti sa lukom (pristaništem), već sa jednim banom i njegovom livadom. Reč banja u nazivu ovog mesta je stariji prisvojni pridev od imenice ban – banova, imenica luka nekada je značila – livada kraj reke. Dakle, sintagma banja luka nekada je bila banova livada, što je kasnije pretvoreno u ime grada – Banja Luka. Srastanjem prideva i imenice nastala je složenica Banjaluka.
Ime ovog grada može se pisati na dva načina: Banjaluka i Banja Luka.
Dativ od Banjaluka glasi Banjaluci, a od Banja Luka Banjoj Luci.
Ako od složenice izvodimo ime stanovnika, ono će glasiti Banjalučanin, stanovnica Banjalučanka. Prisvojni pridev je banjalučki.
Ako ime izvodimo od dvočlanog naziva, ono ima spojni vokal o i glasi Banjolučanin, Banjolučanka, a pridev je banjolučki.
Prvi oblik je češće u upotrebi.
Izvor: Rada Stijović, Jezik danas, Mali saveti