Logic-forex Gabriel presentations