Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules

DOI10.1016/j.ijar.2023.108994MaRDI QIDQ6178735

Petra Murinová, Vilém Novák

Publication date: 4 September 2023

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

evaluative linguistic expressionsfuzzy natural logicaristotle syllogismsextended Peterson's rulesgeneralized (intermediate) quantifiers

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• The structure of generalized intermediate syllogisms
• A formal theory of generalized intermediate syllogisms
• A formal theory of intermediate quantifiers
• A comprehensive theory of trichotomous evaluative linguistic expressions
• A computational approach to fuzzy quantifiers in natural languages
• Syllogisms using 'few', 'many', and 'most'
• 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
• Graded structures of opposition in fuzzy natural logic
• Analysis of generalized square of opposition with intermediate quantifiers

This page was built for publication: Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules