Affiliation:
1. ITMO University, Russia
Abstract
The theory of multitudes pretends to be an alternative to virtually all existing versions of the set theory and claims to better handle the knowledge about changing and evolving world. Then, by analogy, one may expect an original logical system based on the theory of multitudes, and within this logic, an authentic calculus. This chapter presents such calculus. Moreover, a new mathematical methodology can be developed on top of it, which together with the underlying logic, should clearly separate qualitative and quantitative, static and dynamic concerns and offer a formal method to proceed from representation of expert knowledge to modeling the world this knowledge is about.
Reference17 articles.
1. Anoprienko, A. Ya., & Ivanitsa, S. V. (2001). Postbinarnyi kompiuting i interval’nye vychisleniya v kontekste kodo-logicheskoi evolutsii [Post-Binary Computing and Interval Computation in the Context of Code-Logical Evolution]. Donetsk National Technical University – UNITEX Publishers.
2. Category Theory for Computing Science.;M.Barr;Reprints in Theory and Applications of Categories,2012
3. Organization of a geophysical information space by using an event-bush-based collaborative tool
4. Gentzen, G. (1934). Untersuchungen über das logische Schliessen [Investigations into logical deduction]. In The Collected Papers of Gerhard Gentzen (pp. 68-128). Amsterdam: North-Holland.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献