Badia, Guillermo, University of Otago

• The Australasian Journal of Logic Vol. 14 No. 1 (2017): The Australasian Journal of Logic - Articles
  A Remark on Maksimova's Variable Separation Property in Super-Bi-Intuitionistic Logics
  Abstract  PDF