A formal theory of intermediate quantifiers

Fuzzy Sets and Systems

Volumn 159, Issue 10, 2008, Pages 1229-1246

  Novák, Vilém ^a  

^a UNIVERSITY OF OSTRAVA   (Czech Republic)

Author keywords

Aristotle's syllogisms; Evaluative linguistic expressions; Fuzzy quantifiers; Fuzzy type theory; Generalized quantifiers; Higher order fuzzy logic; Precisiated natural language

Indexed keywords

COMPUTATIONAL LINGUISTICS; FUZZY LOGIC; NATURAL LANGUAGE PROCESSING SYSTEMS; NUMERICAL METHODS; PROBLEM SOLVING;

ARISTOTLE'S SYLLOGISMS; EVALUATIVE LINGUISTIC EXPRESSIONS; FUZZY QUANTIFIERS; FUZZY TYPE THEORY (FTT); GENERALIZED QUANTIFIERS; HIGHER ORDER FUZZY LOGIC; PRECISIATED NATURAL LANGUAGE;

FORMAL LANGUAGES;

EID: 40949093621     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2007.12.008     Document Type: Article

References (18)

1. Andrews P. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2002), Kluwer Academic Publishers, Dordrecht
2. Běhounek L., and Cintula P. Fuzzy class theory. Fuzzy Sets and Systems 154 (2005) 34-55
3. Church A. A formulation of the simple theory of types. J. Symbolic Logic 5 (1940) 56-68
4. Esteva F., and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124 (2001) 271-288
5. Glöckner I. Fuzzy Quantifiers: A Computational Theory (2006), Springer, Berlin
6. Henkin L. Completeness in the theory of types. J. Symbolic Logic 15 (1950) 81-91
7. Lakoff G. Hedges: a study in meaning criteria and logic of fuzzy concepts. J. Philos. Logic 2 (1973) 458-508
8. Novák V. Antonyms and linguistic quantifiers in fuzzy logic. Fuzzy Sets and Systems 124 (2001) 335-351
9. Novák V. Fuzzy logic deduction with words applied to ancient sea level estimation. In: Demicco R., and Klir G. (Eds). Fuzzy Logic in Geology (2003), Academic Press, Amsterdam 301-336
10. Novák V. On fuzzy type theory. Fuzzy Sets and Systems 149 (2005) 235-273
11. V. Novák, Fuzzy logic theory of evaluating expressions and comparative quantifiers, in: Proc. 11th Internat. Conf. IPMU, Paris, July 2006, Vol. 2, Éditions EDK, Les Cordeliers, Paris, 2006, pp. 1572-1579.
12. V. Novák, A comprehensive theory of trichotomous evaluative linguistic expressions, in: S. Gottwald, H.P., U. Höhle, E.P. Klement (Eds.), Proc. of 26th Linz Seminar on Fuzzy Set Theory, to appear, Research Report No. 71, 〈http://irafm.osu.cz/〉.
13. Novák V., Perfilieva I., and Močkoř J. Mathematical Principles of Fuzzy Logic (1999), Kluwer Academic Publishers, Boston
14. Peters S., and WesterstÅhl D. Quantifiers in Language and Logic (2006), Claredon Press, Oxford
15. Peterson P. Intermediate Quantifiers. Logic Linguistics, and Aristotelian Semantics (2000), Ashgate, Aldershot
16. Pfeifer N. Contemporary syllogistics: comparative and quantitative syllogisms. In: Kreuzbauer G., and Dorn G. (Eds). Argumentation in Theorie und Praxis: Philosophie und Didaktik des Argumentierens (2006), LIT, Wien 57-71
17. WesterstÅhl D. Quantifiers in formal and natural languages. In: Gabbay D., and Guenthner F. (Eds). Handbook of Philosophical Logic Vol. IV (1989), D. Reidel, Dordrecht 1-131
18. Zadeh L.A. A computational approach to fuzzy quantifiers in natural languages. Comput. Math. 9 (1983) 149-184