-
15A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic LogicsAustralasian Journal of Logic 14 (1). 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.
Brisbane, Queensland, Australia
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |