real-valued logic