Call/cc#Relation to non-constructive logic