Verification of Validity of Logical Syllogisms Generated by Cube of Opposition Using Extended Peterson's Rules.

Petra Murinov, Vilm Novk

Browse the full EUSFLAT paper archive.