arXiv:1810.05392v1 [cs.LO] 12 Oct 2018
DOI:
10.4204/EPTCS.281 ISSN: 2075-2180 |
A Last Word About this Special Issue and the CL&C Conference Series Stefano Berardi and Alexandre Miquel | |
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains Federico Aschieri | 1 |
Admissible Tools in the Kitchen of Intuitionistic Logic Andrea Condoluci and Matteo Manighetti | 10 |
Fast Cut-Elimination using Proof Terms: An Empirical Study Gabriel Ebner | 24 |
Validating Back-links of FOLID Cyclic Pre-proofs Sorin Stratulat | 39 |