Positive formulas in intuitionistic and minimal logic, in: (2013)

by Dick de Jongh, Zhiguang Zhao
Venue:10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC