research
∙
10/12/2018
Proceedings Seventh International Workshop on Classical Logic and Computation
This special issue cover the seventh and last conference of the CL&C ser...
share
research
∙
12/27/2017
Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
A cyclic proof system, called CLKID-omega, gives us another way of repre...
research
∙
12/10/2017
