相干与衍推逻辑

本书论述了以R和E为代表的相干与衍推命题逻辑系统及与R、E相近的其它一些系统，并对各个逻辑系统的基本特性、系统的相互关系作了考察。