Transactions on Computational Science II

Volume 5150 of the series Lecture Notes in Computer Science pp 1-5

Perspectives on Denotational Mathematics: New Means of Thought

  • Yingxu WangAffiliated withDept. of Electrical and Computer Engineering, University of Calgary
  • , Yiyu YaoAffiliated withDept. of Computer Science, University of Regina
  • , Guoyin WangAffiliated withInstitute of Computer Science and Technology, Chongqing University of Posts and Telecommunications

* Final gross prices may vary according to local VAT.

Get Access


The denotational and expressive needs in cognitive informatics, computational intelligence, software engineering, and knowledge engineering lead to the development of new forms of mathematics collectively known as denotational mathematics. Denotational mathematics is a category of mathematical structures that formalize rigorous expressions and long-chain inferences of system compositions and behaviors with abstract concepts, complex relations, and dynamic processes. Typical paradigms of denotational mathematics are such as concept algebra, system algebra, Real-Time Process Algebra (RTPA), Visual Semantic Algebra (VSA), fuzzy logic, and rough sets. A wide range of applications of denotational mathematics have been identified in many modern science and engineering disciplines that deal with complex and intricate mathematical entities and structures beyond numbers, Boolean variables, and traditional sets.


Cognitive informatics computational intelligence denotational mathematics concept algebra system algebra process algebra RTPA visual semantic algebra rough set granular computing knowledge engineering AI natural intelligence