Games and the meaning of logical connectives

Result code in 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>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

Hry a význam logických spojek

Original language description

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.

Czech name

Hry a význam logických spojek

Czech description

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.

Type

D - Article in proceedings

CEP classification

AA - Philosophy and religion

OECD FORD branch

—

Project

<a href="/en/project/GA401%2F04%2F0117" target="_blank" >GA401/04/0117: LOGICA 2004-2006: a comprehensive project combining research, organisation and publication programmes in lpgic</a><br>

Continuities

Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2005

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Jazyk - logika - věda

ISBN

80-7007-212-1

ISSN

—

e-ISSN

—

Number of pages

10

Pages from-to

223-232

Publisher name

Filosofia

Place of publication

Praha

Event location

Pec pod Sněžkou

Event date

Sep 19, 2004

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—