Initial semantics of logic specifications with negation

DOI10.1007/BF01124982zbMath0875.68242OpenAlexW2057474669MaRDI QIDQ1816284

O. A. Il'icheva

Publication date: 14 January 1997

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01124982

zbMATH Keywords

negationinitial semanticslogic specifications

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Cites Work

• Foundation of logic programming based on inductive definition
• More on advice on structuring compilers and proving them correct
• A kripke-kleene semantics for logic programs*
• Composition aspects of programmology. I
• Composition aspects of programmology. II

This page was built for publication: Initial semantics of logic specifications with negation