Towards applied theories based on computability logic