Soundness and completeness of the cirquent calculus system CL6 for computability logic
type: Item
instance of: scholarly article
zbMATH Open document ID: 1258.03033
author: Wenyan Xu
author: Sanyang Liu
publication date: 2012-08-01T00:00:00Z
full work available at URL: https://arxiv.org/abs/1106.2272
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03F07
zbMATH DE Number: 6062919
zbMATH Keywords: cirquent calculus
zbMATH Keywords: computability logic
MaRDI profile type: Publication
OpenAlex ID: W2071793875
arXiv ID: 1106.2272
DOI: 10.1093/JIGPAL/JZR043
published in: Logic Journal of the IGPL
title: Soundness and completeness of the cirquent calculus system CL6 for computability logic
description: scientific article; zbMATH DE number 6062919