View of Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics | Journal of Asian Scientific Research

← Some Properties of Several Proof Systems for Intuitionistic, Johanssons and Monotone Propositional Logics