Classical and quantum satisfiability - Anderson de Araújo; Marcelo Finger (LSFA, 2011)

Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. - Anderson de Araújo; Walter Alexandre Carnielli (Log. J. IGPL, 2012)

Semantic information and artificial intelligence. - Anderson de Araújo (CoRR, 2014)

A quantitative approach to semantic informativity. - Anderson de Araújo (CoRR, 2014)