Verifying Validity of Selected Forms of Syllogisms with Intermediate Quantifiers Using Peterson's Rules.

Petra Murinov, Vilm Novk

Browse the full EUSFLAT paper archive.