Talk:Real-valued logic