Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition.

Karel Fiala, Petra Murinov

Browse the full EUSFLAT paper archive.