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

DOI10.1016/J.IJAR.2023.108994MaRDI QIDQ6178735zbMATH OpenFDO

Authors Vilém Novák, Petra Murinová

Publication date 4 September 2023

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

Full work available at URL https://doi.org/10.1016/J.IJAR.2023.108994

zbMATH Keywords

aristotle syllogismsevaluative linguistic expressionsextended Peterson's rulesfuzzy natural logicgeneralized (intermediate) quantifiers

Mathematics Subject Classification ID

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

Recommendations

• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
• An algebraic study of Peterson's intermediate syllogisms
• Validity in Simple Partial Logic
• Syllogisms with Intermediate Quantifiers Solved in Marlo Logic Diagrams
• Validity Measurement in Some Propositional Logics
• A formal theory of generalized intermediate syllogisms
• A logic for qualified syllogisms
• Validity under assumptions and modus ponens
• scientific article; zbMATH DE number 440030

Cites work

• A comprehensive theory of trichotomous evaluative linguistic expressions
• A computational approach to fuzzy quantifiers in natural languages
• A formal theory of generalized intermediate syllogisms
• A formal theory of intermediate quantifiers
• Analysis of generalized square of opposition with intermediate quantifiers
• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
• Graded structures of opposition in fuzzy natural logic
• Syllogisms using 'few', 'many', and 'most'
• The structure of generalized intermediate syllogisms
• The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many

Cited in

(2)

• Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
• Mathematical representation of Peterson's rules for fuzzy Peterson's syllogisms

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6178735)