Intuitionistic computability logic

zbMath1120.03019arXivcs/0411008MaRDI QIDQ5422557

Giorgi Japaridze

Publication date: 26 October 2007

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

zbMATH Keywords

linear logicintuitionistic logicgame semanticscomputability logicinteractive computation

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (8)

The intuitionistic fragment of computability logic at the propositional level ⋮ The taming of recurrences in computability logic through cirquent calculus. I ⋮ Toggling operators in computability logic ⋮ Introduction to clarithmetic. I ⋮ Kripke semantics for the logic of problems and propositions ⋮ Sequential operators in computability logic ⋮ Many concepts and two logics of algorithmic reduction ⋮ Introduction to clarithmetic. II

This page was built for publication: Intuitionistic computability logic