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:	Analysis of Peterson's Rules for Syllogisms with Intermediate quantifiers
Citace	Novák, V. a Murinová, P. Analysis of Peterson's Rules for Syllogisms with Intermediate quantifiers. In: Information Processing and Management of Uncertainty in Knowledge-Based Systems (Communications in Computer and Information Science series 2022-07-11 Miláno, Italy. Cham: Springer, 2022. s. 634-646. ISBN 978-3-030-50152-5.

Subtitle
Publication year:	2022
Obor:	Obecná matematika
Number of pages:	13
Page from:	634
Page to:	646
Form of publication:	Tištená verze
ISBN code:	978-3-030-50152-5
ISSN code:
Proceedings title:	Information Processing and Management of Uncertainty in Knowledge-Based Systems (Communications in Computer and Information Science series
Proceedings:
Publisher name:	Springer
Place of publishing:	Cham
Country of Publication:
Název konference:
Conference venue:	Miláno, Italy
Datum zahájení konference:
Typ akce podle státní příslušnosti účastníků:	Celosvětová akce
WoS code:
EID:	2-s2.0-85135030280

Key words in English:	Peterson's rules of distributivity; quality and quantity; Fuzzy intermediate syllogisms; Graded Peterson square of opposition
Annotation in original language:	In our previous papers, we syntactically proved validity of 105 logical syllogisms with intermediate quantifiers. Peterson in his book suggested 6 rules using which it is possible to verify validity of such syllogisms in a simple way. The rules, however, are formulated in free language and so, it is not possible to check whether they are correct. In this paper, we focus on formalization of Peterson's rules. The main idea is based on the graded Peterson square of opposition, which has been formally analyzed in our previous publications.
Annotation in english language:

References

Reference

R01:	RIV/61988987:17610/22:A2302EZC

Complementary Content

${loading}