直觉和最小逻辑中的正公式 电子书下载

原名:Positive Formulas in Intuitionistic and Minimal Logic
作品简介:直觉命题和谓词逻辑的公式，IPC和IQC，..定理4。如果L是中间命题逻辑，那么，对于所有公式..盟友，这当然不是中间逻辑，它不包含在经典逻辑中……