What is it about?
What exactly is logic? Can logic be defined and characterized by a mathematical concept? The article will consider and discuss this issue. Based on this logic idea, classical logic can be analyzed and processed systematically under a clear mathematical definition. Therefore, logic will be reduced to a kind of mathematics, and mathematics is based on logic.
Featured Image
Photo by Jeremy Thomas on Unsplash
Read the Original
This page is a summary of: The Extendible Functional Concepts of Logic And Its Applications for the Classical Logic, March 2021, ACM (Association for Computing Machinery),
DOI: 10.1145/3460569.3460588.
You can read the full text:
Contributors
The following have contributed to this page
