scientific article; zbMATH DE number 4112563

MaRDI QIDQ3835443zbMATH OpenFDO

Authors O. A. Il'icheva

Publication date 1987

zbMATH Keywords

logic programmingmodels for quasi-identities with negationsemanticsspecification

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Initial semantics of logic specifications with negation
• On quasi-varieties of multiple valued logic models
• scientific article; zbMATH DE number 58130
• Subformula semantics for strong negation systems
• scientific article; zbMATH DE number 4142002

Cited in

(1)

• Initial semantics of logic specifications with negation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3835443)