<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

Finite Systems Handling Language (YAFOLL message 1)

ACM 60-letiya Oktyabrya prospect 5/1-60 119334, Moscow, Russia

Studia Humana

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

{"article-title":"Finite Systems Handling Language (YAFOLL message 1)"}

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)...

Finite Systems Handling Language (YAFOLL message 1)

Data publikacji: 12 lut 2016

Zakres stron: 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.