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 general properties of 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%2F14%3AA1501BYE" target="_blank" >RIV/61988987:17610/14:A1501BYE - 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 general properties of intermediate quantifiers

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

    In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.

  • Název v anglickém jazyce

    On general properties of intermediate quantifiers

  • Popis výsledku anglicky

    In this paper, we will first discuss fuzzy generalized quantifiers and their formalization in the higher-order fuzzy logic (the fuzzy type theory). Then we will briefly introduce a special model of intermediate quantifiers, classify them as generalized fuzzy ones and prove that they have the general properties of isomorphism invariance, extensionality and conservativity. These properties are characteristic for the quantifiers of natural language.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    BA - Obecná matematika

  • OECD FORD obor

Návaznosti výsledku

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

Ostatní

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

Údaje specifické pro druh výsledku

  • Název statě ve sborníku

    IPMU 2014, Part II, Communications in Computer and Information Science 443

  • ISBN

    978-3-319-08854-9

  • ISSN

    1865-0929

  • e-ISSN

  • Počet stran výsledku

    9

  • Strana od-do

    355-364

  • Název nakladatele

    Springer

  • Místo vydání

  • Místo konání akce

    Francie

  • Datum konání akce

    15. 7. 2014

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

    WRD - Celosvětová akce

  • Kód UT WoS článku