A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics
Guillermo Badía · The Australasian Journal of Logic · 2017
We provide a sucient frame-theoretic condition for a super bi-intuitionistic logic to have Maksimova's variable separation property. We conclude that bi-intuitionistic logic enjoys the property. Furthermore, we offer an algebraic characterization of the super-bi-intuitionistic logics with Maksimova's property.