A formal theory of generalized intermediate syllogisms
From MaRDI portal
Publication:423141
DOI10.1016/j.fss.2011.07.004zbMath1250.03046MaRDI QIDQ423141
Publication date: 18 May 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2011.07.004
fuzzy type theory; generalized quantifiers; intermediate quantifiers; evaluative linguistic expressions; Aristotle's syllogisms; generalized syllogistics
03B52: Fuzzy logic; logic of vagueness
Related Items
Graded Generalized Hexagon in Fuzzy Natural Logic, How to Incorporate Excluding Features in Fuzzy Relational Compositions and What for, On General Properties of Intermediate Quantifiers, The structure of generalized intermediate syllogisms, Mining information from time series in the form of sentences of natural language, Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic, Canonical syllogistic moods in traditional Aristotelian logic, An algebraic study of Peterson's intermediate syllogisms, Type \(\langle 1, 1 \rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionality, Linguistic characterization of time series, The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many, On fuzzification mechanisms for unary quantification, Graded structures of opposition in fuzzy natural logic, Type \(\langle 1,1\rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. I: Basic definitions and examples, Analysis of generalized square of opposition with intermediate quantifiers, A fuzzy syllogistic reasoning schema for generalized quantifiers, On modelling with words
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On fuzzy type theory
- Hedges: A study in meaning criteria and the logic of fuzzy concepts
- Fuzzy quantifiers. A computational theory
- A formal theory of intermediate quantifiers
- Monadic \(\mathbf L\)-fuzzy quantifiers of the type \(\langle 1^n,1\rangle \)
- A comprehensive theory of trichotomous evaluative linguistic expressions
- \(\mathbf L\)-fuzzy quantifiers of type \(\langle 1\rangle \) determined by fuzzy measures
- Metamathematics of fuzzy logic
- Algebraic foundations of many-valued reasoning
- An introduction to mathematical logic and type theory: To truth through proof.
- EQ-algebra-based fuzzy type theory and its extensions