Vol-671⫷ Vol-672 ⫸Vol-673
urn:nbn:de:0074-672-0


None⫷None⫸None

An Inference System for Exhaustive Generation of Mixed and Purely Negative Implications from Purely Positive Ones