پیشنیازها notion of existence Predicate Logic Free Logics نمونهها/پیادهسازیها Neutral Free Logic Negative Free Logic Positive Free Logic