Conference: CL&C 2018 (Classical Logic and Computation 2018 (Seventh of the series CL&C))

Conference: CL&C 2018 (Classical Logic and Computation 2018 (Seventh of the series CL&C))

This page shows all presentations from this conference published in EasyChair Smart Slide.

Fast cut-elimination using proof terms: an empirical study

Fast cut-elimination using proof terms: an empirical study

Sheaf models of classical logic extended by independence relations

Sheaf models of classical logic extended by independence relations

Admissible tools in the kitchen of intuitionistic logic

Admissible tools in the kitchen of intuitionistic logic

Matteo Manighetti and Andrea Condoluci

Presentations in this collection: 3