scientific article; zbMATH DE number 176148

MaRDI QIDQ4035250zbMATH OpenFDO

Authors Beata Konikowska

Publication date 18 May 1993

zbMATH Keywords

language of a two-valued logic defined over three-valued assertionssoftware specificationsoftware validation

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
• A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic
• scientific article; zbMATH DE number 13471
• Partial-predicate logic in computer science
• scientific article; zbMATH DE number 13470

Cited in

(3)

• scientific article; zbMATH DE number 13470 (Why is no real title available?)
• scientific article; zbMATH DE number 13471 (Why is no real title available?)
• Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus

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 Q4035250)