INHERITED EXTENSION OF MANY-SORTED THEORIES

Authors
MAKAROV VP
Citation
Vp. Makarov, INHERITED EXTENSION OF MANY-SORTED THEORIES, Cybernetics and systems analysis, 28(5), 1992, pp. 792-795
Citations number
14
Categorie Soggetti
Controlo Theory & Cybernetics
Journal title
Cybernetics and systems analysis → ACNP
ISSN journal
10600396
Volume
28
Issue
5
Year of publication
1992
Pages
792 - 795
Database
ISI
SICI code
1060-0396(1992)28:5<792:IEOMT>2.0.ZU;2-7
Abstract
A formalism is proposed treating many-sorted theories as an extension of first-order theories. The formalism is defined in the mathematical specification language of the SINAL verification programming system.