Giorgi Japaridze

	2012
45		Giorgi Japaridze: Separating the basic logics of the basic recurrences. Ann. Pure Appl. Logic 163(3): 377-389 (2012)
44		Giorgi Japaridze: On the system CL12 of computability logic CoRR abs/1203.0103: (2012)
	2011
43		Giorgi Japaridze: A new face of the branching recurrence of computability logic CoRR abs/1102.1054: (2011)
42		Giorgi Japaridze: The taming of recurrences in computability logic through cirquent calculus CoRR abs/1105.3853: (2011)
41		Giorgi Japaridze: The taming of recurrences in computability logic through cirquent calculus, Part II CoRR abs/1106.3705: (2011)
40		Giorgi Japaridze: Introduction to clarithmetic I. Inf. Comput. 209(10): 1312-1354 (2011)
39		Giorgi Japaridze: From formulas to cirquents in computability logic Logical Methods in Computer Science 7(2): (2011)
38		Giorgi Japaridze: Toggling operators in computability logic. Theor. Comput. Sci. 412(11): 971-1004 (2011)
	2010
37		Giorgi Japaridze: A logical basis for constructive systems CoRR abs/1003.0425: (2010)
36		Giorgi Japaridze: Introduction to clarithmetic I CoRR abs/1003.4719: (2010)
35		Giorgi Japaridze: Introduction to clarithmetic II CoRR abs/1004.3236: (2010)
34		Giorgi Japaridze: Separating the basic logics of the basic recurrences CoRR abs/1007.1324: (2010)
33		Giorgi Japaridze: Introduction to clarithmetic III CoRR abs/1008.0770: (2010)
32		Giorgi Japaridze: Towards applied theories based on computability logic. J. Symb. Log. 75(2): 565-601 (2010)
	2009
31		Giorgi Japaridze: Ptarithmetic CoRR abs/0902.2969: (2009)
30		Giorgi Japaridze: Toggling operators in computability logic CoRR abs/0904.3469: (2009)
29		Giorgi Japaridze: Many Concepts and Two Logics of Algorithmic Reduction. Studia Logica 91(1): 1-24 (2009)
	2008
28		Giorgi Japaridze: Towards applied theories based on computability logic CoRR abs/0805.3521: (2008)
27		Giorgi Japaridze: Sequential operators in computability logic. Inf. Comput. 206(12): 1443-1475 (2008)
26		Giorgi Japaridze: Cirquent Calculus Deepened. J. Log. Comput. 18(6): 983-1028 (2008)
	2007
25		Giorgi Japaridze: Intuitionistic computability logic. Acta Cybern. 18(1): 77-113 (2007)
24		Giorgi Japaridze: The intuitionistic fragment of computability logic at the propositional level. Ann. Pure Appl. Logic 147(3): 187-227 (2007)
23		Giorgi Japaridze: Four concepts and two logics of algorithmic reduction CoRR abs/0706.0103: (2007)
22		Giorgi Japaridze: Cirquent calculus deepened CoRR abs/0709.1308: (2007)
21		Giorgi Japaridze: Sequential operators in computability logic CoRR abs/0712.1345: (2007)
20		Giorgi Japaridze: The logic of interactive Turing reduction. J. Symb. Log. 72(1): 243-276 (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)

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page