We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 28 Issue 2
March  2013
Turn off MathJax
Article Contents
Abstract
References
Related Articles
Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, Meng Du. On the Toggling-Branching Recurrence of Computability Logic[J]. Journal of Computer Science and Technology, 2013, 28(2): 278-284. DOI: 10.1007/s11390-013-1329-1
Citation: Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, Meng Du. On the Toggling-Branching Recurrence of Computability Logic[J]. Journal of Computer Science and Technology, 2013, 28(2): 278-284. DOI: 10.1007/s11390-013-1329-1
shu

On the Toggling-Branching Recurrence of Computability Logic

  • 1 School of Computer Science and Technology, Shandong University, Jinan 250101, China;
    2 School of Mechanical, Electrical and Information Engineering, Shandong University at Weihai, Weihai 264209, China

Funds: This work was supported by the National Natural Science Foundation of China under Grant No. 61070019 and the Natural Science Foundation of Shandong Province of China under Grant No. ZR2010FM032.
More Information
  • Received Date: July 03, 2012
  • Revised Date: December 10, 2012
  • Published Date: March 04, 2013
    Abstract
  • We introduce a new, substantially simplified version of the toggling-branching recurrence operation of computability logic, prove its equivalence to Japaridze's old, "canonical" version, and also prove that both versions preserve the static property of their arguments.
    • FullText(HTML)
    • References (13)
  • [1]
    Japaridze G. Introduction to computability logic. Annals ofPure and Applied Logic, 2003, 123(1/3): 1-99.
    [2]
    Bauer M S. A PSPACE-complete first order fragment of com-putability logic. http://arxiv.org/abs/1201.4856, Jan. 2012.
    [3]
    Japaridze G. Computability logic: A formal theory of inter-action. In Interactive Computation: The New Paradigm,Goldin D, Smolka S A, Wegner P (eds.), Springer, 2006,pp.183-223.
    [4]
    Japaridze G. In the beginning was game semantics. In Games:Unifying Logic, Language, and Philosophy, Majer O, Pietari-nen A V, Tulenheimo T (eds.), Springer, 2009, pp.249-350.
    [5]
    Japaridze G. Many concepts and two logics of algorithmicreduction. Studia Logica, 2009, 91(1): 1-24.
    [6]
    Japaridze G. Toggling operators in computability logic. The-oretical Computer Science, 2011, 412(11): 971-1004.
    [7]
    Japaridze G. A new face of the branching recurrence of com-putability logic. Applied Mathematics Letters, 2012, 25(11):1585-1589.
    [8]
    Japaridze G. The taming of recurrences in computability logicthrough cirquent calculus, Part I. Archive for MathematicalLogic, 2013, 52(1/2): 173-212.
    [9]
    Japaridze G. The taming of recurrences in computability logicthrough cirquent calculus, Part II. Archive for MathematicalLogic, 2013, 52(1/2): 213-259.
    [10]
    Kwon K, Hur S. Adding sequential conjunctions to Prolog. J.Compu. Tech. and Applicat., 2010, 1(1): 1-3.
    [11]
    Mezhirov I, Vereshchagin N. On abstract resource semanticsand computability logic. Journal of Computer and SystemSciences, 2010, 76(5): 356-372.
    [12]
    Xu W Y, Liu S Y. The countable versus uncountable branch-ing recurrences in computability logic. Journal of AppliedLogic, 2012, 10(4): 431-446.
    [13]
    Xu W Y, Liu S Y. The parallel versus branching recurrencesin computability logic. Notre Dame Journal of Formal Logic,2013, 54(1): 61-78.
    • Relative Articles

  • Related Articles

    [1]Tong Ding, Ning Liu, Zhong-Min Yan, Lei Liu, Li-Zhen Cui. An Efficient Reinforcement Learning Game Framework for UAV-Enabled Wireless Sensor Network Data Collection[J]. Journal of Computer Science and Technology, 2022, 37(6): 1356-1368. DOI: 10.1007/s11390-022-2419-8
    [2]En Wang, Han Wang, Peng-Min Dong, Yuan-Bo Xu, Yong-Jian Yang. Distributed Game-Theoretical D2D-Enabled Task Offloading in Mobile Edge Computing[J]. Journal of Computer Science and Technology, 2022, 37(4): 919-941. DOI: 10.1007/s11390-022-2063-3
    [3]Lei Cui, Youyang Qu, Mohammad Reza Nosouhi, Shui Yu, Jian-Wei Niu, Gang Xie. Improving Data Utility Through Game Theory in Personalized Differential Privacy[J]. Journal of Computer Science and Technology, 2019, 34(2): 272-286. DOI: 10.1007/s11390-019-1910-3
    [4]Bin Liu, Kun Xu, Ralph R. Martin. Static Scene Illumination Estimation from Video with Applications[J]. Journal of Computer Science and Technology, 2017, 32(3): 430-442. DOI: 10.1007/s11390-017-1734-y
    [5]Yang Liu, Guo-Fu Zhang, Zhao-Pin Su, Feng Yue, Jian-Guo Jiang. Using Computational Intelligence Algorithms to Solve the Coalition Structure Generation Problem in Coalitional Skill Games[J]. Journal of Computer Science and Technology, 2016, 31(6): 1136-1150. DOI: 10.1007/s11390-016-1688-5
    [6]Yang Liu, Xuan-Dong Li, Yan Ma. A Game-Based Approach for PCTL* Stochastic Model Checking with Evidence[J]. Journal of Computer Science and Technology, 2016, 31(1): 198-216. DOI: 10.1007/s11390-016-1621-y
    [7]Mei-Rong Li, Yin-Liang Zhao, You Tao, Qi-Ming Wang. A Static Greedy and Dynamic Adaptive Thread Spawning Approach for Loop-Level Parallelism[J]. Journal of Computer Science and Technology, 2014, 29(6): 962-975. DOI: 10.1007/s11390-014-1482-1
    [8]Dan Hao, Lu Zhang, Ming-Hao Liu, He Li, Jia-Su Sun. Test-Data Generation Guided by Static Defect Detection[J]. Journal of Computer Science and Technology, 2009, 24(2): 284-293.
    [9]Xu Shuruen. On the Equivalence of Some Models of Computation[J]. Journal of Computer Science and Technology, 1988, 3(4): 306-309.
    [10]Hou Luoming. A General and Formal Method for the Program Static Analysis[J]. Journal of Computer Science and Technology, 1987, 2(2): 115-123.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (32) PDF downloads (1668) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return