We consider the existence of the initial semantics of logic specifications defined by quasi-identities with negation in the implication premises. A class of models corresponding to the "if and only if" semantic concept is identified and an existence criterion is given for a denumerable initial model in this class.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
S. S. Goncharov and D. I. Sviridenko, "Σ-programming," in: Computing Systems, No. 107: Mathematical-Logic Principles of Knowledge Modeling [in Russian], IM SO AN SSSR, Novisibirsk (1985), pp. 23–29.
A. A. Letichevskii, "Algebras with approximation and recursive data structures," Kibernetika, No. 5, 32–37 (1987).
Yu. V. Kapitonova and A. A. Letichevskii, "On constructive mathematical descriptions of application domains," Kibernetika, No. 4, 17–25 (1988).
V. N. Red'ko and N. S. Nikitchenko, "Composition aspects of programmology. I," Kibernetika, No. 5, 49–56 (1987).
V. N. Red'ko and N. S. Nikitchenko, "Composition aspects of programmology. II," Kibernetika, No. 1, 28–34 (1988).
J. W. Thatcher, E. C. Wagner, and J. B. Wright, "More on advice on structuring compilers and proving them correct," Lect. Notes Comput. Sci.,94, 165–188 (1980).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
K. L. Clark, "Negation as failure," in: H. Callaire and J. Minker (eds.), Logic and Databases, Plenum, New York (1978), pp. 293–322.
M. Fitting, "A Kripke—Kleene semantics for logic programs," Logic Programming,2, No. 4, 295–312 (1985).
M. Hagiya and T. Sakurai, "Foundation of logic programming based on inductive definition," New Generation Comput.,2, No. 1, 39–77 (1984).
O. A. Il'icheva, "Models from constants for quasi-identities with negation," in: Computing Systems, No. 120: Logic Programming Methods [in Russian], Novisibirsk (1987), pp. 52–63.
V. N. Glushkova and O. A. Il'icheva, "Automatic parsing and context analysis in programming technology systems," Kibernetika, No. 4 (1985).
J. A. Goguen, J. W. Thatcher, and E. C. Wagner, "An initial algebra approach to the specification, correctness, and implementation of abstract data types," in: Current Trends in Programming Methodology, Part IV: Data Structuring, Prentice-Hall, Englewood Cliffs, NJ (1978), pp. 80–149.
C.-C. Chang and H. J. Keisler, Model Theory [Russian translation], Mir, Moscow (1977).
Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 13–19, July–August, 1992.
About this article
Cite this article
Il'icheva, O.A. Initial semantics of logic specifications with negation. Cybern Syst Anal 28, 498–503 (1992). https://doi.org/10.1007/BF01124982
- Operating System
- Artificial Intelligence
- System Theory
- Initial Model
- Semantic Concept