| |
| 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) | |