Can propositions be classified into type-n?



Given that propositional calculus deals with propositions, can the
propositions be classified into any in Chomsky hierarchy? Aren't
propositions generative grammars?

-sip
.