Real L Logic