"Teoría proveniente de la lógica y la lingüística"