A Propositional Cirquent Calculus for Computability Logic
Crossref DOI link: https://doi.org/10.1007/s10849-024-09423-7
Published Online: 2024-12-03
Published Print: 2024-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Japaridze, Giorgi https://orcid.org/0000-0002-7514-4282
Text and Data Mining valid from 2024-12-01
Version of Record valid from 2024-12-03
Article History
Accepted: 12 November 2024
First Online: 3 December 2024