Delimited control operators prove Double-negation Shift

Por • 2 nov, 2020 • Sección: Educacion

Danko Ilik

We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preserving the disjunction and existence properties.

arXiv:1012.0929v2 [math.LO]
Logic (math.LO); Logic in Computer Science (cs.LO 

Post to Twitter

Escribe un comentario