On the decidability of open logic

Wei Zhang. On the decidability of open logic. Science in China Series F: Information Sciences, 52(8):1283-1291, 2009. [doi]

Abstract

Abstract is missing.