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

zbMATH Open1227.03042MaRDI QIDQ3086716FDOQ3086716

Authors: Beata Konikowska 

Publication date: 30 March 2011

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

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)

Cited In (4)

• MK-fuzzy automata and MSO logics
• McCarthy-Kleene 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)