Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
From MaRDI portal
Publication:2092450
DOI10.1016/j.ijar.2022.08.002OpenAlexW4290805442MaRDI QIDQ2092450
Vilém Novák, Petr Ferbas, Petra Murinová
Publication date: 2 November 2022
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2022.08.002
generalized quantifiersintermediate quantifiersevaluative linguistic expressionsfuzzy natural logicextended Peterson's syllogisms
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- The structure of generalized intermediate syllogisms
- Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic
- A formal theory of generalized intermediate syllogisms
- On fuzzy type theory
- A formal theory of intermediate quantifiers
- Linguistic summarization of time series using a fuzzy quantifier driven aggregation
- A comprehensive theory of trichotomous evaluative linguistic expressions
- A computational approach to fuzzy quantifiers in natural languages
- Syllogisms using 'few', 'many', and 'most'
- Dynamic reasoning with qualified syllogisms
- Algebraic foundations of many-valued reasoning
- An introduction to mathematical logic and type theory: To truth through proof.
- The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of ``many
- Analysis of generalized square of opposition with intermediate quantifiers
- A fuzzy syllogistic reasoning schema for generalized quantifiers
- Insight into Fuzzy Modeling
- Syllogistic reasoning in fuzzy logic and its application to usuality and reasoning with dispositions
- Distributive Terms, Truth, and thePort Royal Logic
This page was built for publication: Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
