Probá con esta función:
Código PHP:
<?php
$f="martes, 13 de julio de 2010";
$fSQL=convertirFecha($f);
function convertirFecha($fecha) {
$fecha=preg_replace(array("/^[a-zéá]+\, /i", "/ de[l]? /i", "/enero/i", "/febrero/i", "/marzo/i", "/abril/i", "/mayo/i", "/junio/i", "/julio/i", "/agosto/i", "/septiembre/i", "/octubre/i", "/noviembre/i", "/diciembre/i"), array("", "-", "01", "02", "03", "04", "05", "06", "07", "08", "09", "10", "11", "12"), trim($fecha));
if (strlen($fecha)==9) $fecha="0$fecha";
$fecha=substr($fecha, 6, 4)."-".substr($fecha, 3, 2)."-".substr($fecha, 0, 2);
return $fecha;
}
?>