Searching for authors named "Giorgi Japaridze" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
A simple proof of arithmetical completeness for \Pi-conservativity logic
- …A simple proof of arithmetical completeness for \Pi 1 -conservativity logic Giorgi Japaridze…
- Add To MetaCart
-
What is the real logic of games after all?
- … What is the real logic of games after all? Giorgi Japaridze* Abstract Over the past several…
- Add To MetaCart
-
A Constructive Game Semantics for the Language of Linear Logic
- …A constructive game semantics for the language of linear logic Giorgi Japaridze Department…
- Cited by 6 (3 self) – Add To MetaCart
-
A Simple Proof of Arithmetical Completenessf Or 1 -Conservativity Logic
- …A simple proof of arithmetical completeness for Π1-conservativity logic Giorgi Japaridze…
- Add To MetaCart
-
The Simplest Computability-Logic Completeness
- …The simplest computability-logic completeness proof Giorgi Japaridze ∗ To Dick de Jongh, my…
- Add To MetaCart
-
The Logic of Provability
- …CHAPTER VII The Logic of Provability Giorgi Japaridze Department of Computer and Information…
- Cited by 16 (2 self) – Add To MetaCart
-
Chapter Vii
- …CHAPTER VII The Logic of Provability Giorgi Japaridze Department of Computer and Information…
- Add To MetaCart
Showing 1 through 7.
