1. Kansas State University
  2. »Division of Communications and Marketing
  3. »K-State Today
  4. »Philosophy professor's logic courseware goes international

K-State Today

June 28, 2019

Philosophy professor's logic courseware goes international

Submitted by Bruce Glymour

Philosophy professor Graham Leach-Krause's logic programing environment CARNAP will be used in the reworking of University of British Columbia's logic curriculum.

Leach-Krouse has developed a programing environment for teaching and computer-aided tutoring of logic, which he has employed for a number of years at K-State. The framework is now being employed at other universities, soon to include the University of British Columbia.

University of British Columbia's David Gilbert has just been awarded a grant from the Canadian Ministry of Advanced Education, Skills and Training to use CARNAP to teach tableau methods in the university's reworking of its logic curriculum.