Is it possible to represent grammar of natural languages using mathematical logic?

I think it is possible. MS Word have a spelling and grammar checker same as Whitesmoke and similar programs. They must have used mathematical logic in its concept. Don't ask me why. Try Bahasa, it's minimal in grammatical order.