The analysis of the generalized square of opposition-extension

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F13%3AA14017EM" target="_blank" >RIV/61988987:17610/13:A14017EM - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The analysis of the generalized square of opposition-extension

Popis výsledku v původním jazyce

In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- L ukasiewicz fuzzy type theory.

Název v anglickém jazyce

The analysis of the generalized square of opposition-extension

Popis výsledku anglicky

In this paper, we continue development of a formal theory of intermediate quantifiers (linguistic expressions such as ``most'', ``many'', ``few'', ``almost all'', etc.). In previous work, we demonstrated that 105 generalized syllogisms are valid in our theory. We turn our attention to another problem which is analysis of the generalized Aristotelian square of opposition which, besides the classical quantifiers, is extended also by several selected intermediate quantifiers. We show that the expected relations can be well modeled in our theory. The formal theory of intermediate quantifiers is developed within a special higher-order fuzzy logic --- L ukasiewicz fuzzy type theory.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: Centrum excelence IT4Innovations</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2013

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT)

ISBN

9789078677789

ISSN

1951-6851

e-ISSN

—

Počet stran výsledku

7

Strana od-do

252-259

Název nakladatele

Atlantis Press

Místo vydání

—

Místo konání akce

Milano, Italy

Datum konání akce

11. 9. 2013

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—