Deduction Theorem for Symmetric Cirquent Calculus
From MaRDI portal
Publication:3145140
DOI10.1007/978-3-642-15660-1_9zbMath1253.03062OpenAlexW2269631276MaRDI QIDQ3145140
Publication date: 14 December 2012
Published in: Quantitative Logic and Soft Computing 2010 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-15660-1_9
Related Items
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