Publ3 search

Z6_60GI02O0O8IDC0QEJUJ26TJDI4

Error:

Javascript is disabled in this browser. This page requires Javascript. Modify your browser's settings to allow Javascript to execute. See your browser's documentation for specific instructions.

Publikační činnost

Probíhá načítání, čekejte prosím...

Record type:	stať ve sborníku (D)
Home Department:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:	Formal Theory of Quantifiers in Natural Language and Their Syllogisms
Citace	Novák, V. Formal Theory of Quantifiers in Natural Language and Their Syllogisms. In: ECMS 2024: Proceedings of the 38 th ECMS International Conference on Modelling and Simulation 2024-06-04 Crakow. Crakow: ECMS, 2024. s. 7-10. ISBN 978-3-937436-84-5.

Subtitle
Publication year:	2024
Obor:
Number of pages:	4
Page from:	7
Page to:	10
Form of publication:	Tištená verze
ISBN code:	978-3-937436-84-5
ISSN code:	2522-2414
Proceedings title:	Proceedings of the 38 th ECMS International Conference on Modelling and Simulation
Proceedings:	Mezinárodní
Publisher name:	ECMS
Place of publishing:	Crakow
Country of Publication:	Sborník vydaný v zahraničí
Název konference:	ECMS 2024
Místo konání konference:	Crakow
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:
EID:	2-s2.0-85195180894

Key words in English:	Intermediate quantifiers, fuzzy type theory, logical syllogisms.
Annotation in original language:	In this paper we will provide an overview of the theory of intermediate quantifiers. Our goals are the following: To explain motivation and formalization of intermediate quantifiers as special fuzzy (generalized) ones. To present the theory of syllogistic reasoning and explain its principles. To explain three ways, how validity of syllogistic reasoning can be formally verified. To explain the structure of the generalized square of opposition and to prove formally validity of the marked relations among formulas inside it.
Annotation in english language:	In this paper we will provide an overview of the theory of intermediate quantifiers. Our goals are the following: To explain motivation and formalization of intermediate quantifiers as special fuzzy (generalized) ones. To present the theory of syllogistic reasoning and explain its principles. To explain three ways, how validity of syllogistic reasoning can be formally verified. To explain the structure of the generalized square of opposition and to prove formally validity of the marked relations among formulas inside it.

References

Reference

R01:

Complementary Content

${loading}