Nondeterministic three-valued logic: isotonic and guarded truth-functions

DOI10.1007/BF01418755MaRDI QIDQ792750zbMATH OpenOpenAlexFDO

Authors Martin Wirsing, Peter Paeppinghaus

Publication date 1983

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

many-valued logicnondeterminismguarded commandsprogram schematasemantics of programstruth functions

Mathematics Subject Classification ID

Many-valued logic (03B50) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3870581
• Partiality and nondeterminacy in program proofs
• scientific article; zbMATH DE number 4200180
• Programming in three-valued logic
• Truth versus information in logic programming

Cites work

• scientific article; zbMATH DE number 3686773 (Why is no real title available?)
• scientific article; zbMATH DE number 3686774 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• scientific article; zbMATH DE number 3590261 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• An algebraic approach to non-classical logics
• Guarded commands, nondeterminacy and formal derivation of programs

Cited in

(1)

• scientific article; zbMATH DE number 3870581 (Why is no real title available?)

This page was built for publication: Nondeterministic three-valued logic: isotonic and guarded truth-functions

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