On a Characteristic Feature of the Positive Logics
Katuzi Ono, Jiro Ito · Nagoya Mathematical Journal · 1966
In this short note, we would like to point out that the following property (called ASSUMPTION REMOVABILITY in the present paper) is characteristic of the positive logics, the primitive logic LO, the positive predicate logics LP (intuitionistic) and LQ (classical): ASSUMPTION REMOVABILITY. If any proposition can be deduced from some assumption having no primitive notions in common ivith , then is also provable without any assumption.