A formal theory of generalized intermediate syllogisms

DOI10.1016/j.fss.2011.07.004zbMath1250.03046MaRDI QIDQ423141

Petra Murinová, Vilém Novák

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

zbMATH Keywords

fuzzy type theory; generalized quantifiers; intermediate quantifiers; evaluative linguistic expressions; Aristotle's syllogisms; generalized syllogistics

Mathematics Subject Classification ID

03B52: Fuzzy logic; logic of vagueness

Related Items

Unnamed Item, 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, Fuzzy quantifiers defined over fuzzy domains, Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules, 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, Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers, 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

• ETPS

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