# zbMATH — the first resource for mathematics

## Japaridze, Giorgi

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

#### Co-Authors

 37 single-authored 3 Gegelia, Jambul 1 de Jongh, Dick H. J. 1 Fadiran, Oladipo O. 1 Scherer, Stefan 1 van Eijndhoven, N.
all top 5

#### Serials

 6 Annals of Pure and Applied Logic 4 Logical Methods in Computer Science 3 Theoretical Computer Science 3 Information and Computation 3 Journal of Logic and Computation 3 Bulletin of the Georgian Academy of Sciences 2 The Journal of Symbolic Logic 2 Notre Dame Journal of Formal Logic 2 Archive for Mathematical Logic 2 ACM Transactions on Computational Logic 2 Logicheskie Issledovaniya 1 Modern Physics Letters A 1 International Journal of Modern Physics A 1 International Journal of Theoretical Physics 1 Acta Cybernetica 1 Studia Logica 1 Applied Mathematics Letters
all top 5

#### Fields

 38 Mathematical logic and foundations (03-XX) 18 Computer science (68-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Quantum theory (81-XX) 1 Special functions (33-XX) 1 Approximations and expansions (41-XX)

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

#### Cited by 48 Authors

 18 Japaridze, Giorgi 6 Visser, Albert 3 Joosten, Joost J. 3 Xu, Wenyan 2 Beklemishev, Lev D. 2 Broy, Manfred 2 Kurahashi, Taishi 2 Liu, Sanyang 1 Bauer, Matthew Steven 1 Blanck, Rasmus 1 Bou, Félix 1 Buldt, Bernd 1 Churchill, Martin 1 Coregliano, Leonardo Nagami 1 Di Franco, Anthony 1 Du, Meng 1 Enayat, Ali 1 Fermüller, Christian G. 1 Friend, Michèle 1 Gentilini, Paolo 1 Goldblatt, Robert Ian 1 Hamkins, Joel David 1 Humberstone, Lloyd 1 Icard, Thomas F. III 1 Im, Hyeonseung 1 Khaled, Mohamed 1 Kikuchi, Makoto 1 Laird, Jim 1 Lefever, Koen 1 Litak, Tadeusz 1 Löwe, Benedikt 1 Luan, Junfeng 1 McCusker, Guy Andrew 1 Mezhirov, Ilya 1 Montagna, Franco 1 Onoprienko, Anastasiya A. 1 Park, Sungwoo 1 Pianigiani, Duccio 1 Qu, Mei-Xia 1 Razborov, Aleksandr Aleksandrovich 1 Renne, Bryan 1 Rückert, Helge 1 Straßburger, Lutz 1 Székely, Gergely 1 Vereshchagin, Nikolay K. 1 Whittle, Bruno 1 Yamada, Norihiro 1 Zhu, Daming
all top 5

#### Cited in 24 Serials

 11 Annals of Pure and Applied Logic 6 Information and Computation 5 Notre Dame Journal of Formal Logic 4 Journal of Applied Logic 3 The Journal of Symbolic Logic 3 Theoretical Computer Science 3 The Review of Symbolic Logic 2 Russian Mathematical Surveys 2 Journal of Computer and System Sciences 2 Studia Logica 2 Archive for Mathematical Logic 2 Logica Universalis 1 Journal of Philosophical Logic 1 Transactions of the American Mathematical Society 1 History and Philosophy of Logic 1 Journal of Computer Science and Technology 1 International Journal of Approximate Reasoning 1 Applied Mathematics Letters 1 Indagationes Mathematicae. New Series 1 Sbornik: Mathematics 1 Logic and Logical Philosophy 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science 1 Research in the Mathematical Sciences
all top 5

#### Cited in 7 Fields

 55 Mathematical logic and foundations (03-XX) 19 Computer science (68-XX) 8 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Probability theory and stochastic processes (60-XX)