OU Portal
Log In
Welcome
Applicants
Z6_60GI02O0O8IDC0QEJUJ26TJDI4
>
Publ3 search
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.
{}
Zavřít
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Typ záznamu:
stať ve sborníku (D)
Domácí pracoviště:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:
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.
Podnázev
Rok vydání:
2024
Obor:
Počet stran:
4
Strana od:
7
Strana do:
10
Forma vydání:
Tištená verze
Kód ISBN:
978-3-937436-84-5
Kód ISSN:
2522-2414
Název sborníku:
Proceedings of the 38 th ECMS International Conference on Modelling and Simulation
Sborník:
Mezinárodní
Název nakladatele:
ECMS
Místo vydání:
Crakow
Stát vydání:
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ů akce:
Celosvětová akce
Kód UT WoS:
EID:
2-s2.0-85195180894
Klíčová slova anglicky:
Intermediate quantifiers, fuzzy type theory, logical syllogisms.
Popis v původním jazyce:
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.
Popis v anglickém jazyce:
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.
Seznam ohlasů
Ohlas
R01:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules