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:
Peterson's Rules based on Grades for Fuzzy Logical Syllogisms
Citace
Murinová, P., Burda, M. a Pavliska, V. Peterson's Rules based on Grades for Fuzzy Logical Syllogisms.
In:
INFUS 2023: Lecture Notes in Networks and Systems 2023-08-22 Istanbul.
Nizozemí: Springer, 2023. s. 102-109. ISBN 978-3-031-39773-8.
Podnázev
Rok vydání:
2023
Obor:
Počet stran:
8
Strana od:
102
Strana do:
109
Forma vydání:
Tištená verze
Kód ISBN:
978-3-031-39773-8
Kód ISSN:
Název sborníku:
Lecture Notes in Networks and Systems
Sborník:
Název nakladatele:
Springer
Místo vydání:
Nizozemí
Stát vydání:
Název konference:
INFUS 2023
Místo konání konference:
Istanbul
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-85171980552
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 continue the study of fuzzy Peterson's syllogisms. While in the previous publication, we focused on verifying the validity of these syllogisms using the construction of formal proofs and semantic verification, in this publication we focus on verifying the validity of syllogisms using Peterson's rules based on grades. The main goal will be to mathematically formulate Peterson's rules for verifying the validity and invalidity of logical syllogisms with intermediate quantifiers.
Popis v anglickém jazyce:
Seznam ohlasů
Ohlas
R01:
RIV/61988987:17610/23:A2402KJ6
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules