Replace "logic" and "name" by category in the text.
Make a few improvements in the paper