Finite Systems Handling Language (YAFOLL message 1)

Alex Shkotin

doi:10.1515/sh-2015-0021

.blurhash-client-img { display: none !important; }

Finite Systems Handling Language (YAFOLL message 1)

Studia Humana

Volume 4 (2015): Issue 4 (December 2015)

By: Alex Shkotin

Open Access

|Feb 2016

Read online

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.

1. Algebraic structure: 2015. https://en.wikipedia.org/wiki/Algebraic_structure. Accessed: 2015-09- 18.
Search in Google Scholar
2. Barwise, J. 1982. Introduction to first order logic. In Reference Book on Mathematical Logic I, J. Barwise, Ed., Moscow, Nauka, 13-54.
Search in Google Scholar
3. Kolmogorov, A.N., Dragalin, A.G. Mathematical Logic. 3rd stereotypical edition. Moscow: KomKniga, 2006.
Search in Google Scholar
4. Maltsev, A.I., Algebraic Systems, Moscow, Nauka, 1970.
Search in Google Scholar
5. Finitary relation: 2015. https://en.wikipedia.org/wiki/Finitary_relation. Accessed: 2015- 09- 18.
Search in Google Scholar
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].
Search in Google Scholar

Articles in this issue

DOI: https://doi.org/10.1515/sh-2015-0021 | Journal eISSN: 2299-0518

Journal RSS Feed

Language: English

Page range: 3 - 12

Published online: Feb 12, 2016

Published in print: Dec 1, 2015

Published by: University of Information Technology and Management in Rzeszow

In partnership with: Paradigm Publishing Services

Keywords:

finite model,

formal ontology,

formal language,

knowledge representation

Related subjects:

Mathematics,

Logic and set theory

© 2016 Alex Shkotin, published by University of Information Technology and Management in Rzeszow
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Volume 4 (2015): Issue 4 (December 2015)