With respect to predicate logic, DP is ture in first order intuitionistic logic without function symbols. There is also a modal version of the ...
確定! 回上一頁