Journal articles

• C. Caleiro, R. Gonçalves and M. Martins, Behavioral Algebraization of Logics, Studia Logica, Vol. 91, No. 1, Pag. 63-111, Studia Logica Journal, ISSN 0039-3215, February 2009.
• Umberto Straccia, Manuel Ojeda-Aciego and Carlos Viegas Damásio, On Fixed-Points of Multivalued Functions on Complete Lattices and Their Application to Generalized Logic Programs, SIAM Journal on Computing (SICOMP), Vol. 38, No. 5, Pag. 1881-1911, Society for Industrial and Applied Mathematics, ISBN 0097-5397, (url), January 2009.
• Jesse Alama, A formal proof of Euler's polyhedron formula, Studies in Logic, Grammar and Rhetoric, Vol. 18, No. 31, Pag. 9-23, University of Białystok, ISBN 978-83-7431-229-5, ISSN 0860-150X, (url), 2009.
• G. Zibordi, J.-F. Berthon and Davide D’Alimonte, An Evaluation of Radiometric Products from Fixed-Depth and Continuous In-Water Profile Data from Moderately Complex Waters, J. Atmos. Oceanic Technol., Vol. 26, Pag. 91-106, 2009.
• Davide D’Alimonte, Detection of Mesoscale Eddy-related Structures Through Iso-SST Patterns, IEEE Geosc. Rem. Sens. Lett., Vol. 6, No. 2, Pag. 189-193, 2009.
• Manoela Ilic, João Alexandre Leite and Martin Slota, ERASP - A System for Enhancing Recommendations using Answer-Set Programming, International Journal of Reasoning-based Intelligent Systems, Vol. 1, No. 3/4, Pag. 147–163, 2009.
• Fabio Cozman, Rolf Haenni, Jan Willem Romeijn, Gregory Wheeler and Jon Williamson, Introduction to the Special Issue on Combining Probability and Logic, Journal of Applied Logic, Vol. 7, No. 2, Pag. 131-135, Elsevier, 2009.
• Ruben Duarte Viegas and Francisco Azevedo, Lazy constraint imposing for improving the path constraint, Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4, Pag. 113-128, Elsevier, 2009.
• Gregory Wheeler, Review of Vincent Hendricks and John Symons's 'Formal Philosophy, Philosophy of Science, University of Chicago, 2009.
• Reinhard Kahle, Understanding functional self-application, Bulletin of Symbolic Logic, Vol. 15, No. 1, Pag. 118-119, Abstract for the Logic Colloquium 2008., 2009.