On the definition of the classical connectives and quantifiers
Logic in Computer Science
2016-01-11 v1
Abstract
Classical logic is embedded into constructive logic, through a definition of the classical connectives and quantifiers in terms of the constructive ones.
Cite
@article{arxiv.1601.01782,
title = {On the definition of the classical connectives and quantifiers},
author = {Gilles Dowek},
journal= {arXiv preprint arXiv:1601.01782},
year = {2016}
}
Comments
Why is this a Proof?, Festschrift for Luiz Carlos Pereira , 2015