■

• Ross Brady　　Universal Logic, CSLI Publications, Center for the Study of Language and Information Lecture Notes, no. 109, 2006

入門書をいくつかひも解いてみると、この本でなされていることは、簡単に言って、次のようなことのようである。
Comprehension Principle を持った Set Theory に、Relevant Logic R よりも弱いある Relevant Logic を Underlying Logic として使うならば、そのような Relevant な Set Theory は consistent であるということ、このことが証明されているようである。Relevant Logic で　Classical な Set Theory を展開しようとする試みに対しては批判もあるようだが、しかしそれでもなお、とても興味深い。