Positive Formulas in Intuitionistic and Minimal Logic

Dick De Jongh, Zhiguang Zhao. Positive Formulas in Intuitionistic and Minimal Logic. In Martin Aher, Daniel Hole, Emil Jerábek, Clemens Kupke, editors, Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers. Volume 8984 of Lecture Notes in Computer Science, pages 175-189, Springer, 2013. [doi]

Authors

Dick De Jongh

This author has not been identified. Look up 'Dick De Jongh' in Google

Zhiguang Zhao

This author has not been identified. Look up 'Zhiguang Zhao' in Google