Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Two Remarks about Game Semantics of Classical Logic

Thierry Coquand

Abstract

We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.

Two Remarks about Game Semantics of Classical Logic

Abstract

We present and explain two unpublished remarks of Stefano Berardi connected to game semantics.
Paper Structure (4 sections, 2 theorems, 1 equation)

This paper contains 4 sections, 2 theorems, 1 equation.

Table of Contents

  1. Introduction
  2. Game semantics of classical logic
  3. First remark
  4. Second remark

Key Result

Lemma 1

The definite segments form a nest structure: if we have to distinct definite segments then either they are disjoint or one is well inside the other.

Theorems & Definitions (3)

  • Definition 1
  • Lemma 1
  • Theorem 1