Five theorems about the disjunction property of intermediate logicsтезисы доклада