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 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
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 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
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
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 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 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
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 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
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 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