Work on non-classic logic