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
—