Giorgi Japaridze

	2009
29		Giorgi Japaridze: Ptarithmetic CoRR abs/0902.2969: (2009)
28		Giorgi Japaridze: Toggling operators in computability logic CoRR abs/0904.3469: (2009)
27		Giorgi Japaridze: From formulas to cirquents in computability logic CoRR abs/0906.2154: (2009)
	2008
26		Giorgi Japaridze: Towards applied theories based on computability logic CoRR abs/0805.3521: (2008)
25		Giorgi Japaridze: Sequential operators in computability logic. Inf. Comput. 206(12): 1443-1475 (2008)
24		Giorgi Japaridze: Cirquent Calculus Deepened. J. Log. Comput. 18(6): 983-1028 (2008)
	2007
23		Giorgi Japaridze: The intuitionistic fragment of computability logic at the propositional level. Ann. Pure Appl. Logic 147(3): 187-227 (2007)
22		Giorgi Japaridze: Four concepts and two logics of algorithmic reduction CoRR abs/0706.0103: (2007)
21		Giorgi Japaridze: Cirquent calculus deepened CoRR abs/0709.1308: (2007)
20		Giorgi Japaridze: Sequential operators in computability logic CoRR abs/0712.1345: (2007)
19		Giorgi Japaridze: From truth to computability II. Theor. Comput. Sci. 379(1-2): 20-52 (2007)
	2006
18		Giorgi Japaridze: Propositional computability logic I. ACM Trans. Comput. Log. 7(2): 302-330 (2006)
17		Giorgi Japaridze: Propositional computability logic II. ACM Trans. Comput. Log. 7(2): 331-362 (2006)
16		Giorgi Japaridze: The intuitionistic fragment of computability logic at the propositional level CoRR abs/cs/0602011: (2006)
15		Giorgi Japaridze: Introduction to Cirquent Calculus and Abstract Resource Semantics. J. Log. Comput. 16(4): 489-532 (2006)
14		Giorgi Japaridze: From truth to computability I. Theor. Comput. Sci. 357(1-3): 100-135 (2006)
	2005
13		Giorgi Japaridze: From truth to computability II CoRR abs/cs/0501031: (2005)
12		Giorgi Japaridze: In the beginning was game semantics CoRR abs/cs/0507045: (2005)
11		Giorgi Japaridze: The logic of interactive Turing reduction CoRR abs/cs/0512100: (2005)
	2004
10		Giorgi Japaridze: Propositional computability logic I CoRR cs.LO/0404023: (2004)
9		Giorgi Japaridze: Computability Logic: a formal theory of interaction CoRR cs.LO/0404024: (2004)
8		Giorgi Japaridze: Propositional Computability Logic II CoRR cs.LO/0406037: (2004)
7		Giorgi Japaridze: From truth to computability I CoRR cs.LO/0407054: (2004)
6		Giorgi Japaridze: Intuitionistic computability logic I CoRR cs.LO/0411008: (2004)
	2003
5		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)