À propos de cet article
Publié en ligne: 12 févr. 2016
Pages: 3 - 12
DOI: https://doi.org/10.1515/sh-2015-0021
© 2016
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.
The concept a finite multi-carrier algebraic system (FMAS) as well as a language for handling systems such as YAFOLL (Yet Another First Order Logic Language) are introduced. The applicability of such systems to building a mathematical model of a part of reality, i.e. a mathematical structure that can be asked questions about the properties of subject domain objects and processes, is demonstrated.