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”

Hry a význam logických spojek

Identifikátory výsledku

  • Kód výsledku v IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F05%3A00021041" target="_blank" >RIV/67985955:_____/05:00021041 - isvavai.cz</a>

  • Výsledek na webu

  • DOI - Digital Object Identifier

Alternativní jazyky

  • Jazyk výsledku

    čeština

  • Název v původním jazyce

    Hry a význam logických spojek

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

    Hlavním tématem článku je rozdílné chápání logických spojek v různých logických systémech (jako příklad jsou uvedeny klasická, intuicionistická a lineární logika). Článek se zejména zaměřuje na to, jak se rozdíly mezi spojkami projevují v herních interpretacích příslušných logických systému a nakolik je rámec teorie her vhodný pro charakterizaci těchto rozdílu.

  • Název v anglickém jazyce

    Games and the meaning of logical connectives

  • Popis výsledku anglicky

    The main topic of the article is different understanding of logical connectives in logical systems (this is demonstrated on classical, intuitionistic and linear logic). The article focuses on the question how are the differences between the connectives captured in the game interpretation of the corresponding logical systems and on the adequacy of the game thoretical framework for characterising these differences.

Klasifikace

  • Druh

    D - Stať ve sborníku

  • CEP obor

    AA - Filosofie a náboženství

  • OECD FORD obor

Návaznosti výsledku

  • Projekt

    <a href="/cs/project/GA401%2F04%2F0117" target="_blank" >GA401/04/0117: LOGICA 2004-2006: komplex badatelských, vědeckoorganizačních a publikačních projektů v oblasti logiky</a><br>

  • Návaznosti

    Z - Vyzkumny zamer (s odkazem do CEZ)

Ostatní

  • Rok uplatnění

    2005

  • 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

    Jazyk - logika - věda

  • ISBN

    80-7007-212-1

  • ISSN

  • e-ISSN

  • Počet stran výsledku

    10

  • Strana od-do

    223-232

  • Název nakladatele

    Filosofia

  • Místo vydání

    Praha

  • Místo konání akce

    Pec pod Sněžkou

  • Datum konání akce

    19. 9. 2004

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

    EUR - Evropská akce

  • Kód UT WoS článku