Semantic Investigation of Proof Systems for Non