中文

Boole 逻辑演算的基础

逻辑 2017-10-05 v1

摘要

在本文中,我们旨在对 Boole 理论基础上的基本思想提供一个深思熟虑且诠释性的说明,目标是严格在 Boole 本人最初引入的概念结构内开展我们的研究。特别地,我们将重点关注展开方法的意义和实用性。我们还将考虑其一个微小的变体,这将使我们能够以新的视角审视作者在其著作中探讨的 Boole 演算的一些重要且精妙的方面。最后,大量注意力被 devoted 于对被“忽视”的除法逻辑连接词的分析。

关键词

引用

@article{arxiv.1710.01542,
  title  = {The basis of Boole's logical calculus},
  author = {Giovanna Corsi and Guido Gherardi},
  journal= {arXiv preprint arXiv:1710.01542},
  year   = {2017}
}