Logic and the formal theory of natural language | lit.salon