Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

On Modeling of Generalized Syllogisms with Intermediate Quantifiers

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F19%3AA2001Y4W" target="_blank" >RIV/61988987:17610/19:A2001Y4W - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    angličtina

  • Název v původním jazyce

    On Modeling of Generalized Syllogisms with Intermediate Quantifiers

  • Popis výsledku v původním jazyce

    In our previous papers, we introduced a general principle in fuzzy natural logic in which the class of intermediate quantifiers can be introduced and proved all of 105 generalized syllogisms. We also proposed generalized Peterson's square of opposition with generalized definitions of contrary, contradictory, sub-contrary and subalterns. This approach is devoted to designing generalized Peterson's rules which will be used for verification of the validity of generalized syllogisms with intermediate quantifiers based on its position inside in generalized Peterson's square of opposition.

  • Název v anglickém jazyce

    On Modeling of Generalized Syllogisms with Intermediate Quantifiers

  • Popis výsledku anglicky

    In our previous papers, we introduced a general principle in fuzzy natural logic in which the class of intermediate quantifiers can be introduced and proved all of 105 generalized syllogisms. We also proposed generalized Peterson's square of opposition with generalized definitions of contrary, contradictory, sub-contrary and subalterns. This approach is devoted to designing generalized Peterson's rules which will be used for verification of the validity of generalized syllogisms with intermediate quantifiers based on its position inside in generalized Peterson's square of opposition.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

  • OECD FORD obor

    10101 - Pure mathematics

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/LQ1602" target="_blank" >LQ1602: IT4Innovations excellence in science</a><br>

  • Návaznosti

    P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Ostatní

  • Rok uplatnění

    2019

  • 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ů

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    Proceedings of the 2019 Joint World Congress of the International Fuzzy Systems Association and the Annual Conference of the North American Fuzzy Information Processing Society IFSA/NAFIPS'2019 (Lafayette, Louisiana, USA, June 18-21, 2019)

  • ISBN

    978-3-030-21920-8

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    12

  • Strana od-do

    394-405

  • Název nakladatele

    Springer

  • Místo vydání

    Switzerland

  • Místo konání akce

    Lafayette, Louisiana, USA

  • Datum konání akce

    18. 6. 2019

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

    WRD - Celosvětová akce

  • Kód UT WoS článku