TY  - JOUR
AB  - Purpose– This is the second part of the effort to resolve the following two problems that badly need an answer: how can an appropriate theoretical foundation be chosen for modern mathematics and computer science? And, under what interpretations can modern mathematics and the theory of computer science be kept as completely as possible?Design/methodology/approach– The paper sets out the foundation for the system.Findings– Here, the logical foundation for the mathematical system of potential infinities is given.Originality/value– The logical calculus, which will be used as the tool of deduction in the PIMS, is established. This new tool of reasoning is a modification of the classical two‐value logical calculus system.
VL  - 37
IS  - 3/4
SN  - 0368-492X
DO  - 10.1108/03684920810863480
UR  - https://doi.org/10.1108/03684920810863480
AU  - Zhu Wujia
AU  - Lin Yi
AU  - Du Guoping
AU  - Gong Ningsheng
ED  - Yi Lin
PY  - 2008
Y1  - 2008/01/01
TI  - Mathematical system of potential infinities (II) – formal systems of logical basis
T2  - Kybernetes
PB  - Emerald Group Publishing Limited
SP  - 494
EP  - 504
Y2  - 2024/04/18
ER  -