Japaridze, Irakli; Oniani, Giorgi Approximation and transfer of properties between translation invariant convex differentiation bases. (English) Zbl 07811199 Real Anal. Exch. 49, No. 1, 141-154 (2024). MSC: 28A15 42B25 PDFBibTeX XMLCite \textit{I. Japaridze} and \textit{G. Oniani}, Real Anal. Exch. 49, No. 1, 141--154 (2024; Zbl 07811199) Full Text: DOI Link
Japaridze, I.; Oniani, G. On the integrability of multidimensional rare maximal functions. (English) Zbl 07745823 Acta Math. Hung. 170, No. 2, 573-584 (2023). Reviewer: Manfred Stoll (Columbia) MSC: 42B25 28A15 PDFBibTeX XMLCite \textit{I. Japaridze} and \textit{G. Oniani}, Acta Math. Hung. 170, No. 2, 573--584 (2023; Zbl 07745823) Full Text: DOI
Japaridze, Giorgi; Lamichhane, Bikal Cirquent calculus in a nutshell. (English) Zbl 07642576 Log. Issled. 28, No. 1, 125-141 (2022). MSC: 03-XX PDFBibTeX XMLCite \textit{G. Japaridze} and \textit{B. Lamichhane}, Log. Issled. 28, No. 1, 125--141 (2022; Zbl 07642576) Full Text: DOI arXiv
Japaridze, Giorgi Fundamentals of computability logic. (English) Zbl 07669414 Fitting, Melvin (ed.), Selected topics from contemporary logics. Landscapes in Logic 2. London: College Publications. 477-537 (2021). MSC: 03B60 03B70 PDFBibTeX XMLCite \textit{G. Japaridze}, in: Selected topics from contemporary logics. London: College Publications. 477--537 (2021; Zbl 07669414)
Japaridze, Giorgi Elementary-base cirquent calculus. II: Choice quantifiers. (English) Zbl 1494.03075 Log. J. IGPL 29, No. 5, 769-782 (2021). MSC: 03B70 03B25 03C80 03F03 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. J. IGPL 29, No. 5, 769--782 (2021; Zbl 1494.03075) Full Text: DOI arXiv
Japaridze, Giorgi Fundamentals of computability logic 2020. (English) Zbl 1513.03064 J. Appl. Log. - IfCoLog J. Log. Appl. 7, No. 6, 1117-1177 (2020). MSC: 03B60 03B70 03A05 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Appl. Log. - IfCoLog J. Log. Appl. 7, No. 6, 1117--1177 (2020; Zbl 1513.03064) Full Text: arXiv
Japaridze, Giorgi Computability logic: giving Caesar what belongs to Caesar. (English) Zbl 1446.03065 Log. Issled. 25, No. 1, 100-119 (2019). MSC: 03B70 03B20 03B47 03F50 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Issled. 25, No. 1, 100--119 (2019; Zbl 1446.03065) Full Text: DOI arXiv
Japaridze, Giorgi Arithmetics base on computability logic. (English) Zbl 1446.03101 Log. Issled. 25, No. 2, 61-74 (2019). MSC: 03F30 03B70 03F50 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Issled. 25, No. 2, 61--74 (2019; Zbl 1446.03101) Full Text: DOI
Japaridze, Giorgi Elementary-base cirquent calculus I: parallel and choice connectives. (English) Zbl 1513.03075 J. Appl. Log. - IfCoLog J. Log. Appl. 5, No. 1, 367-387 (2018). MSC: 03B70 03B60 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Appl. Log. - IfCoLog J. Log. Appl. 5, No. 1, 367--387 (2018; Zbl 1513.03075) Full Text: arXiv
Japaridze, George; Pokhrel, Dipendra; Wang, Xiao-Qian No-signaling principle and Bell inequality in \({\mathcal{PT}}\)-symmetric quantum mechanics. (English) Zbl 1366.81029 J. Phys. A, Math. Theor. 50, No. 18, Article ID 185301, 13 p. (2017). MSC: 81P05 81P40 81R05 81Q12 PDFBibTeX XMLCite \textit{G. Japaridze} et al., J. Phys. A, Math. Theor. 50, No. 18, Article ID 185301, 13 p. (2017; Zbl 1366.81029) Full Text: DOI arXiv
Wijewardena, U. K. C.; Japaridze, G. S.; Wang, X. Q. Iterative solutions to \(PT\) symmetric quantum mechanics. (English) Zbl 1388.81110 Ladde, G. S. (ed.) et al., Dynamic systems and applications. Vol. 7. Proceedings of the 7th international conference, Morehouse College, Atlanta, GA, USA, May 27–30, 2015. Atlanta, GA: Dynamic Publishers (ISBN 1-890888-07-9/hbk). 353-358 (2016). MSC: 81Q05 81Q15 41A10 81R05 81V80 81Q37 PDFBibTeX XMLCite \textit{U. K. C. Wijewardena} et al., in: Dynamic systems and applications. Vol. 7. Proceedings of the 7th international conference, Morehouse College, Atlanta, GA, USA, May 27--30, 2015. Atlanta, GA: Dynamic Publishers. 353--358 (2016; Zbl 1388.81110)
Japaridze, Giorgi Build your own clarithmetic. II: Soundness. (English) Zbl 1445.03066 Log. Methods Comput. Sci. 12, No. 3, Paper No. 12, 62 p. (2016). MSC: 03F30 03B70 03F50 03D75 03D15 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Methods Comput. Sci. 12, No. 3, Paper No. 12, 62 p. (2016; Zbl 1445.03066) Full Text: DOI arXiv
Japaridze, Giorgi Build your own clarithmetic. I: Setup and completeness. (English) Zbl 1445.03065 Log. Methods Comput. Sci. 12, No. 3, Paper No. 8, 59 p. (2016). MSC: 03F30 03B70 03F50 03D75 03D15 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Methods Comput. Sci. 12, No. 3, Paper No. 8, 59 p. (2016; Zbl 1445.03065) Full Text: DOI arXiv
Eliashvili, M.; Tsitsishvili, G.; Japaridze, G. The quantum group and Harper equation on a honeycomb lattice. (English. Russian original) Zbl 1352.82005 J. Math. Sci., New York 216, No. 4, 522-526 (2016); translation from Sovrem. Mat. Prilozh. 94 (2014). Reviewer: Nasir N. Ganikhodjaev (Kuantan) MSC: 82B20 81R50 17B37 35Q82 35Q40 PDFBibTeX XMLCite \textit{M. Eliashvili} et al., J. Math. Sci., New York 216, No. 4, 522--526 (2016; Zbl 1352.82005); translation from Sovrem. Mat. Prilozh. 94 (2014) Full Text: DOI
Grusha, I.; Menteshashvili, M.; Japaridze, G. I. Effective Hamiltonian for a half-filled asymmetric ionic Hubbard chain with alternating on-site interaction. (English) Zbl 1332.81290 Int. J. Mod. Phys. B 30, No. 3, Article ID 1550260, 30 p. (2016). MSC: 81V70 81R05 81P40 81R40 PDFBibTeX XMLCite \textit{I. Grusha} et al., Int. J. Mod. Phys. B 30, No. 3, Article ID 1550260, 30 p. (2016; Zbl 1332.81290) Full Text: DOI arXiv
Japaridze, Giorgi Introduction to clarithmetic. II. (English) Zbl 1343.03045 Inf. Comput. 247, 290-312 (2016). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 PDFBibTeX XMLCite \textit{G. Japaridze}, Inf. Comput. 247, 290--312 (2016; Zbl 1343.03045) Full Text: DOI arXiv
Japaridze, Giorgi On the system CL12 of computability logic. (English) Zbl 1448.03049 Log. Methods Comput. Sci. 11, No. 3, Paper No. 1, 71 p. (2015). MSC: 03F50 03D75 03D15 03D20 68Q25 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Methods Comput. Sci. 11, No. 3, Paper No. 1, 71 p. (2015; Zbl 1448.03049) Full Text: DOI arXiv
Japaridze, Giorgi Introduction to clarithmetic. III. (English) Zbl 1303.03089 Ann. Pure Appl. Logic 165, No. 1, 241-252 (2014). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 03D75 PDFBibTeX XMLCite \textit{G. Japaridze}, Ann. Pure Appl. Logic 165, No. 1, 241--252 (2014; Zbl 1303.03089) Full Text: DOI arXiv
Eliashvili, M.; Japaridze, G. I.; Tsitsishvili, G.; Tukhashvili, G. Edge states in 2D lattices with hopping anisotropy and Chebyshev polynomials. arXiv:1401.6770 Preprint, arXiv:1401.6770 [math-ph] (2014). BibTeX Cite \textit{M. Eliashvili} et al., ``Edge states in 2D lattices with hopping anisotropy and Chebyshev polynomials'', Preprint, arXiv:1401.6770 [math-ph] (2014) Full Text: DOI arXiv OA License
Japaridze, Giorgi The taming of recurrences in computability logic through cirquent calculus. I. (English) Zbl 1298.03068 Arch. Math. Logic 52, No. 1-2, 173-212 (2013). Reviewer: Wenyan Xu (Xi’an City) MSC: 03B47 03B70 68Q10 68T27 68T15 PDFBibTeX XMLCite \textit{G. Japaridze}, Arch. Math. Logic 52, No. 1--2, 173--212 (2013; Zbl 1298.03068) Full Text: DOI arXiv
Japaridze, Giorgi The taming of recurrences in computability logic through cirquent calculus. II. (English) Zbl 1323.03021 Arch. Math. Logic 52, No. 1-2, 213-259 (2013). Reviewer: Wenyan Xu (Xi’an City) MSC: 03B47 03B70 68Q10 68T27 68T15 PDFBibTeX XMLCite \textit{G. Japaridze}, Arch. Math. Logic 52, No. 1--2, 213--259 (2013; Zbl 1323.03021) Full Text: DOI arXiv
Eliashvili, M.; Japaridze, G.; Tsitsishvili, G. Quantum group on a honeycomb lattice. (English) Zbl 1275.81054 Proc. A. Razmadze Math. Inst. 160, 35-51 (2012). MSC: 81R50 81T25 17B37 82D80 PDFBibTeX XMLCite \textit{M. Eliashvili} et al., Proc. A. Razmadze Math. Inst. 160, 35--51 (2012; Zbl 1275.81054) Full Text: Link
Gegelia, J.; Japaridze, G. On renormalizability of the effective field theory of massive Yang-Mills fields. (English) Zbl 1260.81167 Mod. Phys. Lett. A 27, No. 23, Paper No. 1250128, 11 p. (2012). MSC: 81T13 81T15 PDFBibTeX XMLCite \textit{J. Gegelia} and \textit{G. Japaridze}, Mod. Phys. Lett. A 27, No. 23, Paper No. 1250128, 11 p. (2012; Zbl 1260.81167) Full Text: DOI arXiv
Bauer, T.; Gegelia, J.; Japaridze, G.; Scherer, S. Complex-mass scheme and perturbative unitarity. (English) Zbl 1260.81153 Int. J. Mod. Phys. A 27, No. 30, Paper No. 1250178, 16 p. (2012). MSC: 81T10 81T15 PDFBibTeX XMLCite \textit{T. Bauer} et al., Int. J. Mod. Phys. A 27, No. 30, Paper No. 1250178, 16 p. (2012; Zbl 1260.81153) Full Text: DOI arXiv
Eliashvili, M.; Japaridze, G. I.; Tsitsishvili, G. The quantum group, Harper equation and structure of Bloch eigenstates on a honeycomb lattice. (English) Zbl 1256.81064 J. Phys. A, Math. Theor. 45, No. 39, Article ID 395305, 15 p. (2012). MSC: 81R50 81Q10 82D80 17B37 PDFBibTeX XMLCite \textit{M. Eliashvili} et al., J. Phys. A, Math. Theor. 45, No. 39, Article ID 395305, 15 p. (2012; Zbl 1256.81064) Full Text: DOI arXiv
Japaridze, Giorgi A new face of the branching recurrence of computability logic. (English) Zbl 1259.03045 Appl. Math. Lett. 25, No. 11, 1585-1589 (2012). MSC: 03B70 03F52 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, Appl. Math. Lett. 25, No. 11, 1585--1589 (2012; Zbl 1259.03045) Full Text: DOI arXiv
Japaridze, Giorgi A logical basis for constructive systems. (English) Zbl 1256.03066 J. Log. Comput. 22, No. 3, 605-642 (2012). Reviewer: Valery Plisko (Moskva) MSC: 03F50 03D75 03D15 03D20 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Log. Comput. 22, No. 3, 605--642 (2012; Zbl 1256.03066) Full Text: DOI arXiv
Japaridze, Giorgi Separating the basic logics of the basic recurrences. (English) Zbl 1241.03025 Ann. Pure Appl. Logic 163, No. 3, 377-389 (2012). MSC: 03B47 03B70 68Q10 PDFBibTeX XMLCite \textit{G. Japaridze}, Ann. Pure Appl. Logic 163, No. 3, 377--389 (2012; Zbl 1241.03025) Full Text: DOI arXiv
Japaridze, Giorgi Introduction to clarithmetic. I. (English) Zbl 1243.03075 Inf. Comput. 209, No. 10, 1312-1354 (2011). Reviewer: Saeed Salehi (Tabriz) MSC: 03F30 03B70 03F50 PDFBibTeX XMLCite \textit{G. Japaridze}, Inf. Comput. 209, No. 10, 1312--1354 (2011; Zbl 1243.03075) Full Text: DOI arXiv
Japaridze, Giorgi From formulas to cirquents in computability logic. (English) Zbl 1218.03026 Log. Methods Comput. Sci. 7, No. 2, Paper No. 1, 55 p. (2011). MSC: 03B70 03B47 03B60 68Q05 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Methods Comput. Sci. 7, No. 2, Paper No. 1, 55 p. (2011; Zbl 1218.03026) Full Text: DOI arXiv
Japaridze, Giorgi Toggling operators in computability logic. (English) Zbl 1209.03024 Theor. Comput. Sci. 412, No. 11, 971-1004 (2011). MSC: 03B70 68Q05 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, Theor. Comput. Sci. 412, No. 11, 971--1004 (2011; Zbl 1209.03024) Full Text: DOI arXiv
Flanders, W. D.; Japaridze, G. On approximating two distributions from a single complex-valued function. arXiv:1101.2006 Preprint, arXiv:1101.2006 [math-ph] (2011). BibTeX Cite \textit{W. D. Flanders} and \textit{G. Japaridze}, ``On approximating two distributions from a single complex-valued function'', Preprint, arXiv:1101.2006 [math-ph] (2011) Full Text: DOI arXiv OA License
Shaginyan, V. R.; Japaridze, G. S.; Amusia, M. Ya.; Msezane, A. Z. Model independent approach to baryon asymmetry of universe. (English) Zbl 1221.81176 Ladde, G. S. (ed.) et al., Proceedings of neural, parallel, and scientific computations. Vol. 4. Proceedings of the 4th international conference, Atlanta, GA, USA, August 11–14, 2010. Atlanta, GA: Dynamic Publishers (ISBN 1-890888-05-2/pbk). 343-349 (2010). MSC: 81V25 83F05 PDFBibTeX XMLCite \textit{V. R. Shaginyan} et al., in: Proceedings of neural, parallel, and scientific computations. Vol. 4. Proceedings of the 4th international conference, Atlanta, GA, USA, August 11--14, 2010. Atlanta, GA: Dynamic Publishers. 343--349 (2010; Zbl 1221.81176)
Japaridze, Giorgi Towards applied theories based on computability logic. (English) Zbl 1201.03055 J. Symb. Log. 75, No. 2, 565-601 (2010). Reviewer: Saeed Salehi (Tabriz) MSC: 03F50 03B70 03F30 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Symb. Log. 75, No. 2, 565--601 (2010; Zbl 1201.03055) Full Text: DOI arXiv
Japaridze, Giorgi In the beginning was game semantics. (English) Zbl 1171.03015 Majer, Ondrej (ed.) et al., Games: Unifying logic, language, and philosophy. Berlin: Springer (ISBN 978-1-4020-9373-9/hbk; 978-1-4020-9374-6/e-book). Logic, Epistemology, and the Unity of Science 15, 249-350 (2009). Reviewer: Alex Nabebin (Moskva) MSC: 03B60 03B70 03F52 68Q05 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, Log. Epistemol. Unity Sci. 15, 249--350 (2009; Zbl 1171.03015) Full Text: arXiv
Japaridze, Giorgi Many concepts and two logics of algorithmic reduction. (English) Zbl 1162.03016 Stud. Log. 91, No. 1, 1-24 (2009). MSC: 03B70 PDFBibTeX XMLCite \textit{G. Japaridze}, Stud. Log. 91, No. 1, 1--24 (2009; Zbl 1162.03016) Full Text: DOI arXiv
Menteshashvili, Micheil; Chachava, Natela; Japaridze, George I. Effective Hamiltonian for a half-filled tetramerized ionic-Hubbard chain. (English) Zbl 1236.82044 Bull. Georgian Natl. Acad. Sci. (N.S.) 2, No. 1, 66-72 (2008). MSC: 82C22 82C20 PDFBibTeX XMLCite \textit{M. Menteshashvili} et al., Bull. Georgian Natl. Acad. Sci. (N.S.) 2, No. 1, 66--72 (2008; Zbl 1236.82044) Full Text: arXiv
van Eijndhoven, N.; Fadiran, O.; Japaridze, G. Approximation for a photon propagation delay probability distribution function in terms of elementary functions. (English) Zbl 1203.33014 Ladde, G. S. (ed.) et al., Dynamic systems and applications. Vol. 5. Proceedings of the 5th international conference, Morehouse College, Atlanta, GA, USA, May 30–June 2, 2007. Atlanta, GA: Dynamic Publishers (ISBN 1-890888-01-6). 151-155 (2008). MSC: 33C90 33C10 33F05 41A60 PDFBibTeX XMLCite \textit{N. van Eijndhoven} et al., in: Dynamic systems and applications. Vol. 5. Proceedings of the 5th international conference, Morehouse College, Atlanta, GA, USA, May 30--June 2, 2007. Atlanta, GA: Dynamic Publishers. 151--155 (2008; Zbl 1203.33014)
Japaridze, Giorgi Sequential operators in computability logic. (English) Zbl 1161.03016 Inf. Comput. 206, No. 12, 1443-1475 (2008). Reviewer: Alex Nabebin (Moskva) MSC: 03B70 68Q05 PDFBibTeX XMLCite \textit{G. Japaridze}, Inf. Comput. 206, No. 12, 1443--1475 (2008; Zbl 1161.03016) Full Text: DOI arXiv
Japaridze, Giorgi Cirquent calculus deepened. (English) Zbl 1170.03028 J. Log. Comput. 18, No. 6, 983-1028 (2008). Reviewer: Saeed Salehi (Tabriz) MSC: 03F03 03F20 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Log. Comput. 18, No. 6, 983--1028 (2008; Zbl 1170.03028) Full Text: DOI arXiv
Japaridze, Giorgi Intuitionistic computability logic. (English) Zbl 1120.03019 Acta Cybern. 18, No. 1, 77-113 (2007). MSC: 03B70 PDFBibTeX XMLCite \textit{G. Japaridze}, Acta Cybern. 18, No. 1, 77--113 (2007; Zbl 1120.03019) Full Text: arXiv
Japaridze, Giorgi From truth to computability. II. (English) Zbl 1118.03021 Theor. Comput. Sci. 379, No. 1-2, 20-52 (2007). MSC: 03B70 03B47 03F50 03F52 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, Theor. Comput. Sci. 379, No. 1--2, 20--52 (2007; Zbl 1118.03021) Full Text: DOI arXiv
Japaridze, Giorgi The intuitionistic fragment of computability logic at the propositional level. (English) Zbl 1143.03014 Ann. Pure Appl. Logic 147, No. 3, 187-227 (2007). Reviewer: Alex Nabebin (Moskva) MSC: 03B70 03B20 03F52 PDFBibTeX XMLCite \textit{G. Japaridze}, Ann. Pure Appl. Logic 147, No. 3, 187--227 (2007; Zbl 1143.03014) Full Text: DOI arXiv
Japaridze, Giorgi The logic of interactive Turing reduction. (English) Zbl 1161.03015 J. Symb. Log. 72, No. 1, 243-276 (2007). Reviewer: Branislav Boričić (Beograd) MSC: 03B70 03B20 03F50 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Symb. Log. 72, No. 1, 243--276 (2007; Zbl 1161.03015) Full Text: DOI arXiv
Japaridze, Giorgi Propositional computability logic. II. (English) Zbl 1367.03057 ACM Trans. Comput. Log. 7, No. 2, 331-362 (2006). MSC: 03B70 03F52 68Q05 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, ACM Trans. Comput. Log. 7, No. 2, 331--362 (2006; Zbl 1367.03057) Full Text: DOI arXiv
Japaridze, Giorgi Propositional computability logic. I. (English) Zbl 1367.03056 ACM Trans. Comput. Log. 7, No. 2, 302-330 (2006). MSC: 03B70 03F52 68Q05 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, ACM Trans. Comput. Log. 7, No. 2, 302--330 (2006; Zbl 1367.03056) Full Text: DOI arXiv
Japaridze, Giorgi Computability logic: a formal theory of interaction. (English) Zbl 1266.03046 Goldin, Dina (ed.) et al., Interactive computation. The new paradigm. Berlin: Springer (ISBN 3-540-34666-X/hbk). 183-223 (2006). MSC: 03B70 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{G. Japaridze}, in: Interactive computation. The new paradigm. Berlin: Springer. 183--223 (2006; Zbl 1266.03046) Full Text: DOI arXiv
Japaridze, Giorgi Introduction to cirquent calculus and abstract resource semantics. (English) Zbl 1113.03023 J. Log. Comput. 16, No. 4, 489-532 (2006). Reviewer: Manuel Ojeda Aciego (Málaga) MSC: 03B70 03B47 03F07 03F52 PDFBibTeX XMLCite \textit{G. Japaridze}, J. Log. Comput. 16, No. 4, 489--532 (2006; Zbl 1113.03023) Full Text: DOI arXiv
Japaridze, Giorgi From truth to computability. I. (English) Zbl 1094.03019 Theor. Comput. Sci. 357, No. 1-3, 100-135 (2006). MSC: 03B70 03B47 03F50 68Q10 68T27 68T30 91A05 03F52 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, Theor. Comput. Sci. 357, No. 1--3, 100--135 (2006; Zbl 1094.03019) Full Text: DOI arXiv
Flanders, W. D.; Japaridze, G. S. Photon deflection and precession of the periastron in terms of spatial gravitational fields. (English) Zbl 1056.83018 Classical Quantum Gravity 21, No. 7, 1825-1831 (2004). Reviewer: Giovanni Giachetta (Camerino) MSC: 83C50 83C25 PDFBibTeX XMLCite \textit{W. D. Flanders} and \textit{G. S. Japaridze}, Classical Quantum Gravity 21, No. 7, 1825--1831 (2004; Zbl 1056.83018) Full Text: DOI arXiv
Japaridze, Giorgi Introduction to computability logic. (English) Zbl 1028.03025 Ann. Pure Appl. Logic 123, No. 1-3, 1-99 (2003). Reviewer: A.Nabebin (Moskva) MSC: 03B70 03B47 03F52 91A80 03F50 68Q10 68T27 68T30 91A05 PDFBibTeX XMLCite \textit{G. Japaridze}, Ann. Pure Appl. Logic 123, No. 1--3, 1--99 (2003; Zbl 1028.03025) Full Text: DOI
Japaridze, G. Preliminary results on the basic predicate logic of racefree games. (English) Zbl 1032.03515 Bull. Georgian Acad. Sci. 165, No. 2, 256-259 (2002). MSC: 03B60 03B47 91A05 PDFBibTeX XMLCite \textit{G. Japaridze}, Bull. Georgian Acad. Sci. 165, No. 2, 256--259 (2002; Zbl 1032.03515)
Japaridze, G. Preliminary results on the basic propositional logic of racefree games. (English) Zbl 1032.03514 Bull. Georgian Acad. Sci. 165, No. 1, 26-29 (2002). MSC: 03B60 91A05 03B47 PDFBibTeX XMLCite \textit{G. Japaridze}, Bull. Georgian Acad. Sci. 165, No. 1, 26--29 (2002; Zbl 1032.03514)
Japaridze, Giorgi The logic of tasks. (English) Zbl 1013.03017 Ann. Pure Appl. Logic 117, No. 1-3, 261-293 (2002). MSC: 03B47 03B70 03B60 68T27 03B42 PDFBibTeX XMLCite \textit{G. Japaridze}, Ann. Pure Appl. Logic 117, No. 1--3, 261--293 (2002; Zbl 1013.03017) Full Text: DOI
Japaridze, G. S. Space of state vectors in \(\mathcal P\mathcal T\)-symmetric quantum mechanics. (English) Zbl 1010.81019 J. Phys. A, Math. Gen. 35, No. 7, 1709-1718 (2002). MSC: 81Q10 81R20 PDFBibTeX XMLCite \textit{G. S. Japaridze}, J. Phys. A, Math. Gen. 35, No. 7, 1709--1718 (2002; Zbl 1010.81019) Full Text: DOI arXiv
Flanders, W. D.; Japaridze, G. S. Gravitational interaction between moving objects in terms of spatial gravitational fields. (English) Zbl 0995.83021 Int. J. Theor. Phys. 41, No. 3, 541-550 (2002). MSC: 83C25 83A05 PDFBibTeX XMLCite \textit{W. D. Flanders} and \textit{G. S. Japaridze}, Int. J. Theor. Phys. 41, No. 3, 541--550 (2002; Zbl 0995.83021) Full Text: DOI arXiv
Japaridze, G. A task semantics for the language of linear logic. (English) Zbl 0990.03049 Bull. Georgian Acad. Sci. 163, No. 1, 5-7 (2001). MSC: 03F52 68T27 PDFBibTeX XMLCite \textit{G. Japaridze}, Bull. Georgian Acad. Sci. 163, No. 1, 5--7 (2001; Zbl 0990.03049)
Japaridze, Giorgi The propositional logic of elementary tasks. (English) Zbl 1015.03027 Notre Dame J. Formal Logic 41, No. 2, 171-183 (2000). MSC: 03B47 03B70 68T27 PDFBibTeX XMLCite \textit{G. Japaridze}, Notre Dame J. Formal Logic 41, No. 2, 171--183 (2000; Zbl 1015.03027) Full Text: DOI
Japaridze, G.; Gegelia, J. Perturbative approach to nonrenormalizable theories. (English) Zbl 1116.81321 Int. J. Theor. Phys. 39, No. 1, 89-97 (2000). MSC: 81T15 PDFBibTeX XMLCite \textit{G. Japaridze} and \textit{J. Gegelia}, Int. J. Theor. Phys. 39, No. 1, 89--97 (2000; Zbl 1116.81321) Full Text: DOI arXiv
Tymczak, C. J.; Japaridze, G. S.; Handy, C. R.; Wang, Xiao-Qian New perspective on inner product quantization. (English) Zbl 0947.81028 Phys. Rev. Lett. 80, No. 17, 3673-3677 (1998). MSC: 81S99 PDFBibTeX XMLCite \textit{C. J. Tymczak} et al., Phys. Rev. Lett. 80, No. 17, 3673--3677 (1998; Zbl 0947.81028) Full Text: DOI
Japaridze, Giorgi; de Jongh, Dick The logic of provability. (English) Zbl 0915.03019 Buss, Samuel R. (ed.), Handbook of proof theory. Amsterdam: Elsevier. Stud. Logic Found. Math. 137, 475-546 (1998). Reviewer: Mladen Vuković (Zagreb) MSC: 03B45 03-02 03F30 PDFBibTeX XMLCite \textit{G. Japaridze} and \textit{D. de Jongh}, Stud. Logic Found. Math. 137, 475--546 (1998; Zbl 0915.03019)
Japaridze, Giorgi A constructive game semantics for the language of linear logic. (English) Zbl 0882.03057 Ann. Pure Appl. Logic 85, No. 2, 87-156 (1997). Reviewer: G.Mints (Stanford) MSC: 03F50 68T20 68Q55 03B20 03B60 03B70 03B25 PDFBibTeX XMLCite \textit{G. Japaridze}, Ann. Pure Appl. Logic 85, No. 2, 87--156 (1997; Zbl 0882.03057) Full Text: DOI
Japaridze, Giorgi A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic. (English) Zbl 0822.03013 Notre Dame J. Formal Logic 35, No. 3, 346-354 (1994). MSC: 03B45 03F30 PDFBibTeX XMLCite \textit{G. Japaridze}, Notre Dame J. Formal Logic 35, No. 3, 346--354 (1994; Zbl 0822.03013) Full Text: DOI
Japaridze, G. I.; Nersesyan, A. A.; Wiegmann, P. B. Regularized integrable version of the one-dimensional quantum sine-Gordon model. (English) Zbl 1063.81618 Phys. Scr. 27, No. 1, 5-7 (1983). MSC: 81T10 81R12 PDFBibTeX XMLCite \textit{G. I. Japaridze} et al., Phys. Scr. 27, No. 1, 5--7 (1983; Zbl 1063.81618) Full Text: DOI