×

zbMATH — the first resource for mathematics

Japaridze, Giorgi

Compute Distance To:
Author ID: japaridze.giorgi Recent zbMATH articles by "Japaridze, Giorgi"
Published as: Japaridze, Giorgi; Japaridze, G.
External Links: MGP
Documents Indexed: 42 Publications since 1994

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 286 times in 58 Documents Cited by Year
Introduction to computability logic. Zbl 1028.03025
Japaridze, Giorgi
28
2003
The logic of provability. Zbl 0915.03019
Japaridze, Giorgi; de Jongh, Dick
22
1998
In the beginning was game semantics. Zbl 1171.03015
Japaridze, Giorgi
16
2009
Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023
Japaridze, Giorgi
16
2006
Cirquent calculus deepened. Zbl 1170.03028
Japaridze, Giorgi
13
2008
Computability logic: a formal theory of interaction. Zbl 1266.03046
Japaridze, Giorgi
13
2006
The logic of interactive Turing reduction. Zbl 1161.03015
Japaridze, Giorgi
13
2007
The intuitionistic fragment of computability logic at the propositional level. Zbl 1143.03014
Japaridze, Giorgi
13
2007
From truth to computability. I. Zbl 1094.03019
Japaridze, Giorgi
13
2006
Propositional computability logic. I. Zbl 1367.03056
Japaridze, Giorgi
12
2006
From truth to computability. II. Zbl 1118.03021
Japaridze, Giorgi
12
2007
Sequential operators in computability logic. Zbl 1161.03016
Japaridze, Giorgi
11
2008
Propositional computability logic. II. Zbl 1367.03057
Japaridze, Giorgi
11
2006
Many concepts and two logics of algorithmic reduction. Zbl 1162.03016
Japaridze, Giorgi
10
2009
Towards applied theories based on computability logic. Zbl 1201.03055
Japaridze, Giorgi
9
2010
Toggling operators in computability logic. Zbl 1209.03024
Japaridze, Giorgi
8
2011
Intuitionistic computability logic. Zbl 1120.03019
Japaridze, Giorgi
8
2007
A logical basis for constructive systems. Zbl 1256.03066
Japaridze, Giorgi
6
2012
From formulas to cirquents in computability logic. Zbl 1218.03026
Japaridze, Giorgi
5
2011
A new face of the branching recurrence of computability logic. Zbl 1259.03045
Japaridze, Giorgi
5
2012
The taming of recurrences in computability logic through cirquent calculus. II. Zbl 1323.03021
Japaridze, Giorgi
5
2013
The taming of recurrences in computability logic through cirquent calculus. I. Zbl 1298.03068
Japaridze, Giorgi
5
2013
Introduction to clarithmetic. I. Zbl 1243.03075
Japaridze, Giorgi
5
2011
A constructive game semantics for the language of linear logic. Zbl 0882.03057
Japaridze, Giorgi
4
1997
Separating the basic logics of the basic recurrences. Zbl 1241.03025
Japaridze, Giorgi
4
2012
Introduction to clarithmetic. III. Zbl 1303.03089
Japaridze, Giorgi
4
2014
Introduction to clarithmetic. II. Zbl 1343.03045
Japaridze, Giorgi
4
2016
A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic. Zbl 0822.03013
Japaridze, Giorgi
3
1994
The propositional logic of elementary tasks. Zbl 1015.03027
Japaridze, Giorgi
2
2000
A task semantics for the language of linear logic. Zbl 0990.03049
Japaridze, G.
1
2001
The logic of tasks. Zbl 1013.03017
Japaridze, Giorgi
1
2002
Preliminary results on the basic propositional logic of racefree games. Zbl 1032.03514
Japaridze, G.
1
2002
Preliminary results on the basic predicate logic of racefree games. Zbl 1032.03515
Japaridze, G.
1
2002
Build your own clarithmetic. II: Soundness. Zbl 1445.03066
Japaridze, Giorgi
1
2016
On the system CL12 of computability logic. Zbl 1448.03049
Japaridze, Giorgi
1
2015
Introduction to clarithmetic. II. Zbl 1343.03045
Japaridze, Giorgi
4
2016
Build your own clarithmetic. II: Soundness. Zbl 1445.03066
Japaridze, Giorgi
1
2016
On the system CL12 of computability logic. Zbl 1448.03049
Japaridze, Giorgi
1
2015
Introduction to clarithmetic. III. Zbl 1303.03089
Japaridze, Giorgi
4
2014
The taming of recurrences in computability logic through cirquent calculus. II. Zbl 1323.03021
Japaridze, Giorgi
5
2013
The taming of recurrences in computability logic through cirquent calculus. I. Zbl 1298.03068
Japaridze, Giorgi
5
2013
A logical basis for constructive systems. Zbl 1256.03066
Japaridze, Giorgi
6
2012
A new face of the branching recurrence of computability logic. Zbl 1259.03045
Japaridze, Giorgi
5
2012
Separating the basic logics of the basic recurrences. Zbl 1241.03025
Japaridze, Giorgi
4
2012
Toggling operators in computability logic. Zbl 1209.03024
Japaridze, Giorgi
8
2011
From formulas to cirquents in computability logic. Zbl 1218.03026
Japaridze, Giorgi
5
2011
Introduction to clarithmetic. I. Zbl 1243.03075
Japaridze, Giorgi
5
2011
Towards applied theories based on computability logic. Zbl 1201.03055
Japaridze, Giorgi
9
2010
In the beginning was game semantics. Zbl 1171.03015
Japaridze, Giorgi
16
2009
Many concepts and two logics of algorithmic reduction. Zbl 1162.03016
Japaridze, Giorgi
10
2009
Cirquent calculus deepened. Zbl 1170.03028
Japaridze, Giorgi
13
2008
Sequential operators in computability logic. Zbl 1161.03016
Japaridze, Giorgi
11
2008
The logic of interactive Turing reduction. Zbl 1161.03015
Japaridze, Giorgi
13
2007
The intuitionistic fragment of computability logic at the propositional level. Zbl 1143.03014
Japaridze, Giorgi
13
2007
From truth to computability. II. Zbl 1118.03021
Japaridze, Giorgi
12
2007
Intuitionistic computability logic. Zbl 1120.03019
Japaridze, Giorgi
8
2007
Introduction to cirquent calculus and abstract resource semantics. Zbl 1113.03023
Japaridze, Giorgi
16
2006
Computability logic: a formal theory of interaction. Zbl 1266.03046
Japaridze, Giorgi
13
2006
From truth to computability. I. Zbl 1094.03019
Japaridze, Giorgi
13
2006
Propositional computability logic. I. Zbl 1367.03056
Japaridze, Giorgi
12
2006
Propositional computability logic. II. Zbl 1367.03057
Japaridze, Giorgi
11
2006
Introduction to computability logic. Zbl 1028.03025
Japaridze, Giorgi
28
2003
The logic of tasks. Zbl 1013.03017
Japaridze, Giorgi
1
2002
Preliminary results on the basic propositional logic of racefree games. Zbl 1032.03514
Japaridze, G.
1
2002
Preliminary results on the basic predicate logic of racefree games. Zbl 1032.03515
Japaridze, G.
1
2002
A task semantics for the language of linear logic. Zbl 0990.03049
Japaridze, G.
1
2001
The propositional logic of elementary tasks. Zbl 1015.03027
Japaridze, Giorgi
2
2000
The logic of provability. Zbl 0915.03019
Japaridze, Giorgi; de Jongh, Dick
22
1998
A constructive game semantics for the language of linear logic. Zbl 0882.03057
Japaridze, Giorgi
4
1997
A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic. Zbl 0822.03013
Japaridze, Giorgi
3
1994

Citations by Year