Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
389292 | Fuzzy Sets and Systems | 2014 | 20 Pages |
Abstract
In this paper, we continue development of the formal theory of intermediate quantifiers which are expressions of the natural language (“most”,“many”,“few”, etc.). In the previous paper, we demonstrated that 105 generalized syllogisms are valid in our theory. We introduce the generalization of all the figures and we show that for the proof of validity of all the generalized syllogisms, we need to prove the validity of only few of them so that the validity of the other ones immediately follows.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Petra Murinová, Vilém Novák,