arXiv:2406.03265 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords simple variable restriction, admissibility, left uniform interpolation, appropriate algebraic semantics, logical systems Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset