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.
{}
Close
Publikační činnost
Probíhá načítání, čekejte prosím...
publicationId :
tempRecordId :
actionDispatchIndex :
navigationBranch :
pageMode :
tabSelected :
isRivValid :
Record type:
stať ve sborníku (D)
Home Department:
Ústav pro výzkum a aplikace fuzzy modelování (94410)
Title:
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.
Subtitle
Publication year:
2023
Obor:
Number of pages:
8
Page from:
102
Page to:
109
Form of publication:
Tištená verze
ISBN code:
978-3-031-39773-8
ISSN code:
Proceedings title:
Lecture Notes in Networks and Systems
Proceedings:
Publisher name:
Springer
Place of publishing:
Nizozemí
Country of Publication:
Název konference:
INFUS 2023
Conference venue:
Istanbul
Datum zahájení konference:
Typ akce podle státní
příslušnosti účastníků:
Celosvětová akce
WoS code:
EID:
2-s2.0-85171980552
Key words in English:
Peterson's syllogisms, Peterson's rules, Peterson's square of opposition, Peterson's rules based on grades
Annotation in original language:
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.
Annotation in english language:
References
Reference
R01:
RIV/61988987:17610/23:A2402KJ6
Complementary Content
Deferred Modules
${title}
${badge}
${loading}
Deferred Modules