Special issue of Philosophy and Technology on “Logic as Technology” http://socphilinfo.org/news/cfp/520-special-issue-philosophy-and-technology-logic-technology