Finite Systems Handling Language (YAFOLL message 1)

• Authors: Alex Shkotin
• Languages of publication: EN

Abstracts

EN

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.

Keywords

EN

finite model; formal ontology; formal language; knowledge representation

• Publisher: Sciendo
• Journal: Studia Humana
• Year: 2015
• Volume: 4
• Issue: 4
• Pages: 3-12

Dates

published

2015-12-01

online

2016-02-12

Contributors

author

Alex Shkotin

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

References

• 1. Algebraic structure: 2015. https://en.wikipedia.org/wiki/Algebraic_structure. Accessed: 2015-09- 18.
• 2. Barwise, J. 1982. Introduction to first order logic. In Reference Book on Mathematical Logic I, J. Barwise, Ed., Moscow, Nauka, 13-54.
• 3. Kolmogorov, A.N., Dragalin, A.G. Mathematical Logic. 3rd stereotypical edition. Moscow: KomKniga, 2006.
• 4. Maltsev, A.I., Algebraic Systems, Moscow, Nauka, 1970.
• 5. Finitary relation: 2015. https://en.wikipedia.org/wiki/Finitary_relation. Accessed: 2015- 09- 18.
• 6. Shkotin, A. and Ryakhovski, V. (2015). Proba DB. Ontology of a relational database - Open science. [online] Sites.google.com. Available at: https://sites.google.com/site/alex0shkotin/formalnaa-geologia/bd-proba-ontologia [Accessed 18 Sep. 2015].

Identifiers

DOI

10.1515/sh-2015-0021