Łukowski, P. A Deductive-Reductive Form of Logic: General Theory and Intuitionistic Case. LLP 2004, 10, 59–78.