The structure of generalized intermediate syllogisms

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F14%3AA15015Q1" target="_blank" >RIV/61988987:17610/14:A15015Q1 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

The structure of generalized intermediate syllogisms

Popis výsledku v původním jazyce

In this paper, we continue development of the formal theory of intermediate quantifiers which are expressions of the natural language (''most``,''many``,''few``, etc.). In the previous paper, we demonstrated that 105 generalized syllogisms are valid in our theory. We continue here analysis of new intermediate genera-lized quantifier ''more than half`` and prove 19 new intermediate generalized syllogisms with this quantifier. We show that for the proof of validity of all the generalized syllogisms, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the end of this paper, we introduce generalization of all the figures .

Název v anglickém jazyce

The structure of generalized intermediate syllogisms

Popis výsledku anglicky

In this paper, we continue development of the formal theory of intermediate quantifiers which are expressions of the natural language (''most``,''many``,''few``, etc.). In the previous paper, we demonstrated that 105 generalized syllogisms are valid in our theory. We continue here analysis of new intermediate genera-lized quantifier ''more than half`` and prove 19 new intermediate generalized syllogisms with this quantifier. We show that for the proof of validity of all the generalized syllogisms, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the end of this paper, we introduce generalization of all the figures .

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

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)

Rok uplatnění

2014

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 periodika

Fuzzy Sets and Systems

ISSN

0165-0114

e-ISSN

—

Svazek periodika

247

Číslo periodika v rámci svazku

247

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

20

Strana od-do

18-37

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—