面向计算机科学的非经典逻辑

Posted on 2010-09-17 10:08  ilogic  阅读(197)  评论(0编辑  收藏  举报
目前的非经典逻辑教材多基于哲学逻辑传统,是从自然语言或哲学问题出发将各种非经典逻辑串起来的(例如Priest的那本)。今天看Gabbay的What is a logical system发现,很多非经典逻辑其实是从计算机领域产生的。应该另外有一条线,即以计算机领域的主要问题将非经典逻辑串起来。这样的教材不说更有价值,至少对原来的教材是一个有益的补充。