Describir: FROM LOGICAL EXPRESSIVISM TO EXPRESSIVIST LOGIC: SKETCH OF A PROGRAM AND SOME IMPLEMENTATIONS1.