| 2009 |
|---|
| 27 | EE | Giorgi Japaridze:
Ptarithmetic
CoRR abs/0902.2969: (2009) |
| 26 | EE | Giorgi Japaridze:
Toggling operators in computability logic
CoRR abs/0904.3469: (2009) |
| 2008 |
|---|
| 25 | EE | Giorgi Japaridze:
Towards applied theories based on computability logic
CoRR abs/0805.3521: (2008) |
| 24 | EE | Giorgi Japaridze:
Sequential operators in computability logic.
Inf. Comput. 206(12): 1443-1475 (2008) |
| 2007 |
|---|
| 23 | EE | Giorgi Japaridze:
The intuitionistic fragment of computability logic at the propositional level.
Ann. Pure Appl. Logic 147(3): 187-227 (2007) |
| 22 | EE | Giorgi Japaridze:
Four concepts and two logics of algorithmic reduction
CoRR abs/0706.0103: (2007) |
| 21 | EE | Giorgi Japaridze:
Cirquent calculus deepened
CoRR abs/0709.1308: (2007) |
| 20 | EE | Giorgi Japaridze:
Sequential operators in computability logic
CoRR abs/0712.1345: (2007) |
| 19 | EE | Giorgi Japaridze:
From truth to computability II.
Theor. Comput. Sci. 379(1-2): 20-52 (2007) |
| 2006 |
|---|
| 18 | EE | Giorgi Japaridze:
Propositional computability logic I.
ACM Trans. Comput. Log. 7(2): 302-330 (2006) |
| 17 | EE | Giorgi Japaridze:
Propositional computability logic II.
ACM Trans. Comput. Log. 7(2): 331-362 (2006) |
| 16 | EE | Giorgi Japaridze:
The intuitionistic fragment of computability logic at the propositional level
CoRR abs/cs/0602011: (2006) |
| 15 | EE | Giorgi Japaridze:
Introduction to Cirquent Calculus and Abstract Resource Semantics.
J. Log. Comput. 16(4): 489-532 (2006) |
| 14 | EE | Giorgi Japaridze:
From truth to computability I.
Theor. Comput. Sci. 357(1-3): 100-135 (2006) |
| 2005 |
|---|
| 13 | EE | Giorgi Japaridze:
From truth to computability II
CoRR abs/cs/0501031: (2005) |
| 12 | EE | Giorgi Japaridze:
In the beginning was game semantics
CoRR abs/cs/0507045: (2005) |
| 11 | EE | Giorgi Japaridze:
The logic of interactive Turing reduction
CoRR abs/cs/0512100: (2005) |
| 2004 |
|---|
| 10 | EE | Giorgi Japaridze:
Propositional computability logic I
CoRR cs.LO/0404023: (2004) |
| 9 | EE | Giorgi Japaridze:
Computability Logic: a formal theory of interaction
CoRR cs.LO/0404024: (2004) |
| 8 | EE | Giorgi Japaridze:
Propositional Computability Logic II
CoRR cs.LO/0406037: (2004) |
| 7 | EE | Giorgi Japaridze:
From truth to computability I
CoRR cs.LO/0407054: (2004) |
| 6 | EE | Giorgi Japaridze:
Intuitionistic computability logic I
CoRR cs.LO/0411008: (2004) |
| 2003 |
|---|
| 5 | EE | Giorgi Japaridze:
Introduction to computability logic.
Ann. Pure Appl. Logic 123(1-3): 1-99 (2003) |
| 2002 |
|---|
| 4 | | Giorgi Japaridze:
The logic of tasks.
Ann. Pure Appl. Logic 117(1-3): 261-293 (2002) |
| 2000 |
|---|
| 3 | | Giorgi Japaridze:
The Propositional Logic of Elementary Tasks.
Notre Dame Journal of Formal Logic 41(2): 171-183 (2000) |
| 1997 |
|---|
| 2 | | Giorgi Japaridze:
A Constructive Game Semantics for the Language of Linear Logic.
Ann. Pure Appl. Logic 85(2): 87-156 (1997) |
| 1994 |
|---|
| 1 | | Giorgi Japaridze:
A Simple Proof of Arithmetical Completeness for Pi1-conservativity Logic.
Notre Dame Journal of Formal Logic 35(3): 346-354 (1994) |
