OU Portal
Log In
Welcome
Applicants
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.
{}
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:
How to Verify Validity of Non-trivial Logical Syllogisms
Citace
Murinová, P. a Fiala, K. How to Verify Validity of Non-trivial Logical Syllogisms.
In:
INFUS, Intelligent and Fuzzy Systems: Lecture Notes in Networks and Systems Series 2024-07-16 Turecko, Canakkale.
Cham: Springer, 2024. s. 499-506. ISBN 978-3-031-67191-3.
Podnázev
Rok vydání:
2024
Obor:
Počet stran:
8
Strana od:
499
Strana do:
506
Forma vydání:
Tištená verze
Kód ISBN:
978-3-031-67191-3
Kód ISSN:
2367-3370
Název sborníku:
Lecture Notes in Networks and Systems Series
Sborník:
Mezinárodní
Název nakladatele:
Springer
Místo vydání:
Cham
Stát vydání:
Sborník vydaný v zahraničí
Název konference:
INFUS, Intelligent and Fuzzy Systems
Místo konání konference:
Turecko, Canakkale
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků akce:
Celosvětová akce
Kód UT WoS:
EID:
Klíčová slova anglicky:
Peterson's syllogisms; Peterson's rules; Peterson's square of opposition; Peterson's rules based on grades
Popis v původním jazyce:
In this publication we will focus on the presentation of several methods by which we are able to verify the validity of generalized Peterson syllogisms. We will focus on a special group of so-called non-trivial syllogisms when a generalized intermediate quantifier is considered in both premises, e.g. Most, Several, Many, etc.
Popis v anglickém jazyce:
In this publication we will focus on the presentation of several methods by which we are able to verify the validity of generalized Peterson syllogisms. We will focus on a special group of so-called non-trivial syllogisms when a generalized intermediate quantifier is considered in both premises, e.g. Most, Several, Many, etc.
Seznam ohlasů
Ohlas
R01:
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules