Mohammad Ardeshir, M. Ardeshir, W. Ruitenburg, Basic Propositional Calculus, H. Barendregt, ...
Basic propositional logic was first introduced by Albert Visser in [6]. Basic logic is a proper subsystem of intuitionistic logic, and can be constructed from it by a weakening of modus ponens. This...