arXiv:1610.08700 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords positive logics, paper studies admissibility, separation theorem, intermediate logics, positive additional axioms Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset