关于经典连接词与量词的定义
计算机科学中的逻辑
2016-01-11 v1
摘要
通过用构造性逻辑中的连接词与量词来定义经典连接词与量词，经典逻辑被嵌入到构造性逻辑之中。
引用
@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}
}
备注
Why is this a Proof?, Festschrift for Luiz Carlos Pereira , 2015