[PPT] - Embedding classical in minimal implicational logic Hajime Ishihara PowerPoint Presentation