A four-valued logic for reasoning about finite and infinite computation errors in programs

MaRDI QIDQ3086716zbMATH OpenFDO

Authors Beata Konikowska

Publication date 30 March 2011

zbMATH Keywords

program specificationfour-valued logicKleene logiccomputation errorsGentzen-style sequent calculusMcCarthy logicdecompositional proof systeminfinite errorsmachine errors

Mathematics Subject Classification ID

Many-valued logic (03B50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Proof systems for reasoning about computation errors
• A calculus for four-valued sequential logic
• A useful four-valued logic
• Partiality and nondeterminacy in program proofs
• Process algebra with four-valued logic

Cited in

(4)

• McCarthy-Kleene fuzzy automata and MSO logics
• MK-fuzzy automata and MSO logics
• Refining exceptions in four-valued logic
• Proof systems for reasoning about computation errors

This page was built for publication: A four-valued logic for reasoning about finite and infinite computation errors in programs

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