A Sound and Complete Validity Test for Formulas in Extensional Multi-level Syllogistic
摘要
In this paper we introduce both the syntax and the semantics of a formal language which has been designed to express multi-level syllogistic.