PROPERTIES OF FORMAL STRUCTURES AND SUBSTRUCTURES
DOI:
https://doi.org/10.15802/stp2007/17863Keywords:
structure, signature, axiomaticAbstract
For designing of systems, it has been prposed to use a three-component formal structure with a set of elements, a signature and axiomatics. Some properties of the structures and their substructures have been presented. The problem of recovering the formally grammatical structures with the help of language substructures has been considered.
Downloads
Published
How to Cite
Issue
Section
License
Copyright and Licensing
This journal provides open access to all of its content.
As such, copyright for articles published in this journal is retained by the authors, under the terms of the Creative Commons Attribution 4.0 International License (CC BY 4.0). The CC BY license permits commercial and non-commercial reuse. Such access is associated with increased readership and increased citation of an author's work. For more information on this approach, see the Public Knowledge Project, the Directory of Open Access Journals, or the Budapest Open Access Initiative.
The CC BY 4.0 license allows users to copy, distribute and adapt the work in any way, provided that they properly point to the author. Therefore, the editorial board of the journal does not prevent from placing published materials in third-party repositories. In order to protect manuscripts from misappropriation by unscrupulous authors, reference should be made to the original version of the work.