Harrop選言特性
Memo
A. Chagrov, M. Zakharyashchev; "The Disjunction Property of Intermediate Propositional Logics"