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

目前的非经典逻辑教材多基于哲学逻辑传统，是从自然语言或哲学问题出发将各种非经典逻辑串起来的（例如Priest的那本）。今天看Gabbay的What is a logical system发现，很多非经典逻辑其实是从计算机领域产生的。应该另外有一条线，即以计算机领域的主要问题将非经典逻辑串起来。这样的教材不说更有价值，至少对原来的教材是一个有益的补充。