Searching for authors named "Giorgi Japaridze" – sorted by Relevance.
-
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

