Language, logic, and formalization of knowledge | lit.salon