A formal theory of generalized intermediate syllogisms
From MaRDI portal
Publication:423141
DOI10.1016/j.fss.2011.07.004zbMath1250.03046OpenAlexW2125083338MaRDI 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 theorygeneralized quantifiersintermediate quantifiersevaluative linguistic expressionsAristotle's syllogismsgeneralized syllogistics
Related Items
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 ⋮ Type \(\langle 1, 1 \rangle\) fuzzy quantifiers determined by fuzzy measures on residuated lattices. III: Extension, conservativity and extensionality ⋮ Fuzzy quantifiers defined over fuzzy domains ⋮ An algebraic study of Peterson's intermediate syllogisms ⋮ Linguistic characterization of time series ⋮ Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules ⋮ Graded Generalized Hexagon in Fuzzy Natural Logic ⋮ How to Incorporate Excluding Features in Fuzzy Relational Compositions and What for ⋮ 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 ⋮ Canonical syllogistic moods in traditional Aristotelian logic ⋮ Unnamed Item ⋮ On General Properties of Intermediate Quantifiers ⋮ On modelling with words ⋮ Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers ⋮ 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
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
