Toggling operators in computability logic

DOI10.1016/J.TCS.2010.11.037zbMath1209.03024arXiv0904.3469OpenAlexW2000183812MaRDI QIDQ631756

Giorgi Japaridze

Publication date: 14 March 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0904.3469

zbMATH Keywords

axiomatizationgame semanticscomputability logicinteractive computationconstructive logicsresource logics

Mathematics Subject Classification ID

Applications of game theory (91A80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70)

Related Items (8)

Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism ⋮ The taming of recurrences in computability logic through cirquent calculus. II ⋮ The taming of recurrences in computability logic through cirquent calculus. I ⋮ Separating the basic logics of the basic recurrences ⋮ On the toggling-branching recurrence of computability logic ⋮ Build your own clarithmetic I: Setup and completeness ⋮ Introduction to clarithmetic. I ⋮ A new face of the branching recurrence of computability logic

Cites Work

• Unnamed Item
• On abstract resource semantics and computability logic
• Sequential operators in computability logic
• Many concepts and two logics of algorithmic reduction
• A game semantics for linear logic
• Introduction to computability logic
• Zur Deutung der intuitionistischen Logik
• The intuitionistic fragment of computability logic at the propositional level
• From truth to computability. II.
• From truth to computability. I.
• Introduction to Cirquent Calculus and Abstract Resource Semantics
• The logic of interactive turing reduction
• Cirquent Calculus Deepened
• Towards applied theories based on computability logic
• In the beginning was game semantics
• Computability Logic: A Formal Theory of Interaction
• Propositional computability logic I
• Propositional computability logic II
• Intuitionistic computability logic
• Degrees of indeterminacy of games

This page was built for publication: Toggling operators in computability logic