Decision Problems for Linear Logic With Least and Greatest Fixed Points