NEW FOUNDATIONS OF REASONING VIA REAL-VALUED FIRST-ORDER LOGICSGuillermo BadiaRonald Faginet al.2025Bulletin of Symbolic Logic