Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson’s rules. (English) Zbl 07734041
MSC:
68T37
Found 21 Documents (Results 1–21)
Formal analysis of Peterson’s rules for checking validity of syllogisms with intermediate quantifiers. (English) Zbl 07611309
MSC:
68T37
On the properties of intermediate quantifiers and the quantifier “MORE-THAN”. (English) Zbl 1512.03053
Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 159-172 (2020).
MSC:
03B52
Graded cube of opposition with intermediate quantifiers in fuzzy natural logic. (English) Zbl 1512.03052
Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 145-158 (2020).
MSC:
03B52
Graded decagon of opposition with fuzzy quantifier-based concept-forming operators. (English) Zbl 1512.68316
Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 131-144 (2020).
The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of “many”. (English) Zbl 1452.03069
Association analysis on interval-valued fuzzy sets. (English) Zbl 1517.68384
Torra, Vicenç (ed.) et al., Modeling decisions for artificial intelligence. 15th international conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11144, 89-100 (2018).
Fuzzy association rules on data with undefined values. (English) Zbl 1512.68305
Medina, Jesús (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Applications. 17th international conference, IPMU 2018, Cádiz, Spain, June 11–15, 2018, Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 855, 165-174 (2018).
Graded generalized hexagon in fuzzy natural logic. (English) Zbl 1455.03029
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 36-47 (2016).
MSC:
03B52
Intermediate syllogisms in fuzzy natural logic. (English) Zbl 1356.03068
MSC:
03B52
Syllogisms and 5-square of opposition with intermediate quantifiers in fuzzy natural logic. (English) Zbl 1396.03061
On general properties of intermediate quantifiers. (English) Zbl 1418.03123
Laurent, Anne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15–19, 2014. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 443, 355-364 (2014).
Analysis of generalized square of opposition with intermediate quantifiers. (English) Zbl 1315.03038
MSC:
03B52
Omitting types in fuzzy logic with evaluated syntax. (English) Zbl 1100.03012
Reviewer: Siegfried J. Gottwald (Leipzig)
Filter Results by …
Document Type
- Journal Articles (14)
- Collection Articles (7)
all
top 5
Author
- Murinová, Petra (21)
- Novák, Vilém (16)
- Boffa, Stefania (4)
- Burda, Michal (2)
- Ferbas, Petr (2)
- Pavliska, Viktor (2)
all
top 5
Serial
- Fuzzy Sets Syst. (4)
- Int. J. Approx. Reasoning (4)
- J. Electr. Eng. (2)
- Log. Univers. (2)
- Math. Log. Q. (1)
- J. Fuzzy Set Valued Anal. (1)
Software
- ETPS (9)
