Soundness and completeness of the Cirquent calculus system CL6 for computability logic

DOI10.1093/jigpal/jzr043zbMath1258.03033arXiv1106.2272OpenAlexW2071793875MaRDI QIDQ2903763

Wenyan Xu, San-Yang Liu

Publication date: 1 August 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

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

zbMATH Keywords

computability logiccirquent calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Structure of proofs (03F07)

Related Items (7)

A cirquent calculus system with clustering and ranking ⋮ Cirquent Calculus in a Nutshell ⋮ The parallel versus branching recurrences in computability logic ⋮ The taming of recurrences in computability logic through cirquent calculus. I ⋮ The countable versus uncountable branching recurrences in computability logic ⋮ Build your own clarithmetic I: Setup and completeness ⋮ A PSPACE-complete first-order fragment of computability logic

This page was built for publication: Soundness and completeness of the Cirquent calculus system CL6 for computability logic