Publ3 search

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.

Publikační činnost

Probíhá načítání, čekejte prosím...

Typ záznamu:	prezentace (kongresy, sympózia, konference, workshopy)
Domácí pracoviště:	Ústav pro výzkum a aplikace fuzzy modelování (94410)
Název:	Structure of generalized intermediate syllogisms-extension
Citace	Murinová, P. Structure of generalized intermediate syllogisms-extension. In: Logic, Algebra and Truth Degrees. Kanazawa. 2012.

Podnázev
Rok vydání:	2012
Obor:	Obecná matematika
Místo konání:	Kanazawa
Stát konání akce:	Japonsko
Název akce:	Logic, Algebra and Truth Degrees
Datum od:
Datum do:
Druh prezentace:	Přednáška
Instituce:

Klíčová slova anglicky:	Fuzzy type theory; Classical syllogism; Generalized intermediate syllogisms;
Popis v původním jazyce:	In this paper, we discuss a formal theory of intermediate quantifiers. They are special linguistic expressions such as ``most, many, few, almost all'', etc. This class of quantifiers was studied by Peterson in his book. However, Peterson did not introduce any special formal logical system for them. Moreover, despite typically vague character of intermediate quantifiers, the proposed semantics is basically classical. Using means of the Lukasiewicz fuzzy type theory, we developed their semantics and demonstrated that many relations studied informally in the literature are also valid in our theory.
Popis v anglickém jazyce:	In this paper, we discuss a formal theory of intermediate quantifiers. They are special linguistic expressions such as ``most, many, few, almost all'', etc. This class of quantifiers was studied by Peterson in his book. However, Peterson did not introduce any special formal logical system for them. Moreover, despite typically vague character of intermediate quantifiers, the proposed semantics is basically classical. Using means of the Lukasiewicz fuzzy type theory, we developed their semantics and demonstrated that many relations studied informally in the literature are also valid in our theory.

Seznam ohlasů

Ohlas

R01:

Complementary Content

${loading}