Proceedings Fourth Workshop on Classical Logic and Computation

DOI10.4204/EPTCS.97zbMATH Open1391.03008arXiv1210.2890OpenAlexW2289826999MaRDI QIDQ3174692FDOQ3174692

Authors:

Publication date: 17 July 2018

Published in: Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Abstract: CL&C'12 was the fourth of a conference series on "Classical Logic and Computation", held as satellite to ICALP'12 on Sunday July 8, 2012 in Warwick, England. CL&C intends to cover all work aiming to explore computational aspects of classical logic and mathematics, and is focused on the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. The intention of the organisers is for CL&C to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. Submission of both short abstracts and of longer papers were invited. Four submissions were accepted as full papers and are included in these proceedings. Three more were accepted only as communications for the conference. Paulo Oliva gave an invited talk on "Some connections between Game Theory and Proof Theory".

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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70)

Cited In (1)

• Proceedings Sixth International Workshop on Classical Logic and Computation

This page was built for publication: Proceedings Fourth Workshop on Classical Logic and Computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174692)