Matches in SemOpenAlex for { <https://semopenalex.org/work/W2552400520> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2552400520 abstract "This paper aims at studying relations between proof systems and games in a given logic and at analyzing what can be the interest and limits of a game formulation as an alternative semantic framework for modelling proof search and also for understanding relations between logics. In this perspective, we firstly study proofs and games at an abstract level which is neither related to a particular logic nor adopts a specific focus on their relations. Then, in order to instantiate such an analysis, we describe a dialogue game for intu-itionistic logic and emphasize the adequateness between proofs and winning strategies in this game. Finally, we consider how games can be seen to provide an alternative formulation for proof search and we stress on the possible mix of logical rules and search strategies inside games rules. We conclude on the merits and limits of the game semantics as a tool for studying logics, validity in these logics and some relations between them. 2 Proofs and Games In this section, we present a common terminology to present both proof systems and games at a relatively abstract level. Our aim consists in obtaining tools on which bridges can be built between the proof-theoretical approach and the game semantics approach in establishing the (universal) validity of logical formulae. We explain how proofs and games can be viewed as complementary notions. We illustrate how proof trees in calculi correspond to winning strategies in games and vice-versa." @default.
- W2552400520 created "2016-11-30" @default.
- W2552400520 creator A5031692169 @default.
- W2552400520 creator A5069943669 @default.
- W2552400520 creator A5089676507 @default.
- W2552400520 date "2010-01-01" @default.
- W2552400520 modified "2023-10-18" @default.
- W2552400520 title "Some Remarks on Relations between Proofs and Games" @default.
- W2552400520 cites W151506356 @default.
- W2552400520 cites W1524366083 @default.
- W2552400520 cites W1526036637 @default.
- W2552400520 cites W1541524853 @default.
- W2552400520 cites W1571471913 @default.
- W2552400520 cites W1572031204 @default.
- W2552400520 cites W1608421539 @default.
- W2552400520 cites W1996605832 @default.
- W2552400520 cites W2002134955 @default.
- W2552400520 cites W2002823922 @default.
- W2552400520 cites W2063956198 @default.
- W2552400520 cites W2114225134 @default.
- W2552400520 cites W2131739376 @default.
- W2552400520 cites W2168453170 @default.
- W2552400520 cites W2328317956 @default.
- W2552400520 cites W2610253825 @default.
- W2552400520 cites W2780712694 @default.
- W2552400520 cites W2913246815 @default.
- W2552400520 cites W29513559 @default.
- W2552400520 cites W3168200087 @default.
- W2552400520 cites W59187410 @default.
- W2552400520 hasPublicationYear "2010" @default.
- W2552400520 type Work @default.
- W2552400520 sameAs 2552400520 @default.
- W2552400520 citedByCount "0" @default.
- W2552400520 crossrefType "book-chapter" @default.
- W2552400520 hasAuthorship W2552400520A5031692169 @default.
- W2552400520 hasAuthorship W2552400520A5069943669 @default.
- W2552400520 hasAuthorship W2552400520A5089676507 @default.
- W2552400520 hasBestOaLocation W25524005201 @default.
- W2552400520 hasConcept C108710211 @default.
- W2552400520 hasConcept C144237770 @default.
- W2552400520 hasConcept C2524010 @default.
- W2552400520 hasConcept C33923547 @default.
- W2552400520 hasConcept C41008148 @default.
- W2552400520 hasConceptScore W2552400520C108710211 @default.
- W2552400520 hasConceptScore W2552400520C144237770 @default.
- W2552400520 hasConceptScore W2552400520C2524010 @default.
- W2552400520 hasConceptScore W2552400520C33923547 @default.
- W2552400520 hasConceptScore W2552400520C41008148 @default.
- W2552400520 hasLocation W25524005201 @default.
- W2552400520 hasOpenAccess W2552400520 @default.
- W2552400520 hasPrimaryLocation W25524005201 @default.
- W2552400520 hasRelatedWork W1501252054 @default.
- W2552400520 hasRelatedWork W1987272770 @default.
- W2552400520 hasRelatedWork W1995284689 @default.
- W2552400520 hasRelatedWork W2025910816 @default.
- W2552400520 hasRelatedWork W2029553608 @default.
- W2552400520 hasRelatedWork W2143578351 @default.
- W2552400520 hasRelatedWork W2321824256 @default.
- W2552400520 hasRelatedWork W2333819912 @default.
- W2552400520 hasRelatedWork W2947186315 @default.
- W2552400520 hasRelatedWork W2963449831 @default.
- W2552400520 isParatext "false" @default.
- W2552400520 isRetracted "false" @default.
- W2552400520 magId "2552400520" @default.
- W2552400520 workType "book-chapter" @default.